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
Si avvisano gli studenti interessati che il ricevimento del giorno Giovedì 19 dicembre 2024 è sospeso a causa di un Consiglio di Dipartimento concomitante.



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






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

Risultati della prova scritta di Algoritmi e Strutture Dati I del giorno 7 marzo 2025.
  • N86005033 GIGLIO ALESSANDRO 24
  • N86003615 D'ANDREA ALFREDO 22
  • N86003364 BENTIVOGLIO GIOVANNI 21
  • N86003302 BUONANNO ELVINO 21
  • N86003022 DI VANO CRESCENZO 20
  • N86004995 DI TOTA GAETANO 20
  • N86005174 ESPOSITO GIUSEPPE PAOLO 20
  • N86005238 DE BLASIO DANIELE 19
  • N86002666 DELL'OGLIO FRANCESCO 19
  • N86004987 ESPOSITO VIRGINIA ANTONIA 19
  • N86004739 FIORENTINO HEREDIA LUCA 19
  • N86005039 AMENDOLA PIERFRANCESCO 18
  • N86005232 BELLUCCI FAUSTO ANDREA 18
  • N86005051 BOCCOLI MARCO MICHELE 18
  • N86004650 FIORENTINO GIANLUCA 18
  • N86004619 FUSARO ANTONIO 18
Le verbalizzazioni dell'esame si terranno il giorno Lunedì 31 marzo alle ore 10.30 presso lo studio del docente.

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 Sabato 29 marzo. Gli eventuali orali si terranno secondo il calendario che verrà indicato successivamente alla scadenza per la prenotazione per la prova orale.


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.




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)