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 Algorithm Design

Gli studenti interessati a seguire le lezioni del corso sono pregati di iscriversi al corso sul sito docenti.unina.it (abilitando anche l'iscrizione alla mailing list) in modo da permettere l'organizzazione delle lezioni anche in modalità telematica. Il codice Teams per partecipare alle lezioni verrà comunicato agli iscritti prima dell'inizio del corso.

Esami di Algorithm Design
Gli studenti interessati a sostenere l'esame sono pregati di contattare il docente per effettuare la prenotazione. Le date della prova scritta di Algorithm Design coincidono sempre con le date della prova scritta di Algoritmi e Strutture Dati I.



Comunicati per gli studenti di Automated Software Verification

Gli studenti interessati a seguire le lezioni del corso per sono pregati di iscriversi al corso sul sito docenti.unina.it (abilitando anche l'iscrizione alla mailing list) in modo da permettere l'organizzazione delle lezioni anche in modalità telematica. Il codice Teams per partecipare alle lezioni verrà comunicato agli iscritti prima dell'inizio del corso.

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

Si informano gli studenti interessati che la prova scritta dell'appello del 25 gennaio 2023 si terrà alle ore 14.30 nell'aula I1 presso l'aulario di via Claudio.

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)