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)


Studenti ammessi alla prova orale di Logic for Computer Science dell'appello del 18 giugno 2025
  • N97000540 ASCIONE ANTONIO 23
  • N97000505 CANTIELLO ANTIMO 24
  • N97000529 CARNEVALE PIETRO 23
  • N97000513 CERRONE SIMONE 23
  • N97000524 D'ALESSANDRO MATTEO 26
  • N97000480 D'ALTERIO ANTONIO 18
  • N97000519 D'ERRICO FORTUNATO 20
  • N97000508 DIANA RODOLFO 25
  • N97000530 DUMINUCO GIANFRANCO 20
  • N97000523 LA SCALA ONOFRIO 20
  • N97000536 MAGRI FRANCESCO 26
  • N97000494 PREVIDENTE ALESSIA 19
  • N97000467 SOMMA ANIELLO 19
  • N97000490 VECCE ALFONSO MARIA 23
Le prove orali si terranno il giorno Giovedì 3 e Venerdì 4 luglio presso lo studio del docente secondo il seguente calendario:
  • Giovedì 3 ore 10.30
    • N97000540 ASCIONE ANTONIO
    • N97000505 CANTIELLO ANTIMO
    • N97000529 CARNEVALE PIETRO
    • N97000513 CERRONE SIMONE
  • Giovedì 3 ore 14.00
    • N97000524 D'ALESSANDRO MATTEO
    • N97000480 D'ALTERIO ANTONIO
    • N97000519 D'ERRICO FORTUNATO
    • N97000508 DIANA RODOLFO
    • N97000530 DUMINUCO GIANFRANCO
    • N97000523 LA SCALA ONOFRIO
  • Venerdì 4 ore 10.30
    • N97000536 MAGRI FRANCESCO
    • N97000494 PREVIDENTE ALESSIA
    • N97000467 SOMMA ANIELLO
    • N97000490 VECCE ALFONSO MARIA




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 18 giugno 2025.
  • N86004338 ALINEI ADRIANA 18
  • N86003189 BIFULCO GIOVANNI 18
  • N86002780 CAIAZZO DANIELE 18
  • N86003216 DE BIASIO GUGLIELMO 18
  • N86004473 FULGIERI GIOVANNI 18
  • N86003039 GIORDANO VINCENZO 18
  • N86004038 CARDONE UGO LUCA 23
  • N86004650 FIORENTINO GIANLUCA 24
Le verbalizzazioni dell'esame si terranno il giorno Marteì 24 giugno alle ore 10.30 presso lo studio del docente.


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)