Massimo Benerecetti

Associate Professor in Computer Science at the Università di Napoli "Federico II"
Section of Computer Science,
Room 9 (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ì 22 settembre 2022 è sospeso causa prova d'esame concomitante.



Comunicati per gli studenti di Algorithm Design

Si informano gli studenti interessati che la prova scritta dell'appello previsto il giorno 22 settembre 2022 si terrà alle ore 16.00 nell'aula A4 presso l'aulario di Monte Sant'Angelo.

Comunicati per gli studenti di Automated Software Verification



Comunicati per gli studenti di Algoritmi e Strutture Dati I

Si informano gli studenti interessati che la prova scritta dell'appello previsto il giorno 22 settembre 2022 si terrà alle ore 16.00 nell'aula A4 presso l'aulario di Monte Sant'Angelo.

Si rende noto che a partire dall'appello di luglio 2021 le prove scritte di Algoritmi e Strutture Dati I si terranno in presenza nei locali dell'Ateneo.


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 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)