Massimo Benerecetti

Associate Professor in Computer Science at the Università di Napoli "Federico II"
Section of Computer Science,
Room 6 (second floor, building 1, via Claudio),
Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (Department of Electrical Engineering and Information Technologies),
Università di Napoli "Federico II",
Via Claudio, 21, I-80125, Napoli, ITALY.
Phone: +39 081 679269
Fax:     +39 081 676346
E-mail: massimo.benerecetti<at>unina.it (replace <at> with @)

Didattica (Teaching)



Programma del corso ASD I (9 CFU) (PDF format) NEW
Dispensa: Introduzione alla correttezza degli algoritmi (PDF format)

Orario ricevimento studenti

Comunicati per gli studenti di Logica per Informatica (Logic for Computer Science)





Comunicati per gli studenti di Automated Software Verification

Esami di Automated Software Verification
Gli studenti interessati a sostenere l'esame sono pregati di contattare il docente per concordare la data dell'esame.



Comunicati per gli studenti di Algoritmi e Strutture Dati I

IMPORTANTE: si avvisano gli studenti interessati che la prova scritta dell'esame di ASD I, prevista originariamente nel giorno Lunedì 22 aprile 2024, è posticipata al giorno Martedì 23 aprile 2024 alle ore 13.30, a causa di indisponibilità di aule nel giorno 22.

Si comunica che le prenotazioni alle prove scritte di Algoritmi e Strutture Dati I devono obbligatoriamente essere effettuate esclusivamente tramite il sito SEGREPASS. Non verranno accettate prenotazioni di alcun altro tipo. Si ricorda, inoltre, che le prenotazioni su SEGREPASS saranno possibili fino a 5 giorni prima della data prevista per la prova scritta.


Risultati della prova scritta di Algoritmi e Strutture Dati I del giorno 23 aprile 2024.

Studenti che hanno superato la prova scritta e relativa votazione:
  • N86004207 CAPOGROSSO Antonio 22
  • N86004091 CAMPANILE SIDERO Andrea 18
  • N86003884 FORTINO Alessando 18
  • N86002975 DI PIETRO Gennaro 18
  • N86004204 APICELLA Massimo 18
  • N86004402 ARUTA Matteo 18
La verbalizzazione dell'esame si terrà il giorno Giovedì 2 maggio alle ore 11 presso i locali del Dipartimento DIETI.

Gli studenti interessati a sostenere la prova orale sono pregati di comunicare la loro intenzione tramite posta elettronica al docente entro e non oltre il giorno Mercoledì 1 aprile. Gli eventuali orali si terranno secondo il calendario che verrà indicato successivamente alla scadenza per la prenotazione della prova orale.



Attività di ricerca (Research)


Aree di interesse (Areas of Interest)
Elenco delle Pubblicazioni (List of Personal Publications)

Progetti di ricerca (Current Research Projects)

Attività organizzativa e di coordinamento (Coordination and Organizing Activities)