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 08 settembre 2025
  • N97000494 PREVIDENTE ALESSIA 22
  • N97000812 MAROTTA VINCENZO 21
  • N97000521 CICCARELLI FRANCESCO 20
  • N97000??? MIGNOGNA MANUEL 18
  • N97000519 D'ERRICO FORTUNATO 18
  • N97000531 SCOTTO DI FASANO GIUSEPPE 18
Le prove orali si terranno secondo il seguente calendario (gli studenti non intenzionati a sostenere l'esame sono pregati di informare il docente per tempo):
  • Mercoledì 15 ottobre ore 14.30
    • N97000494 PREVIDENTE ALESSIA
    • N97000812 MAROTTA VINCENZO
    • N97000521 CICCARELLI FRANCESCO
    • N97000??? MIGNOGNA MANUEL
  • Giovedì 16 ottobre ore 10.00
    • N97000519 D'ERRICO FORTUNATO
    • N97000531 SCOTTO DI FASANO GIUSEPPE




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 8 settembre 2025.
  • N86003429 CAPUTO GIULIA 18
  • N86004708 CATEWICZ KRYSTIAN 19
  • N86003612 DEZIO PAOLO 19
  • N86005093 DI GIOVANNI ADRIANO 19
  • N86004205 DI NARDO VINCENZO 20
  • N86004162 CECORA ARTURO 21
  • N86005066 FERRARA NICOLA 21
  • N86004979 FESTA MARCO 22
  • N86004995 DI TOTA GAETANO 26
Le verbalizzazioni dell'esame si terranno il giorno Mercoledì 1 ottobre alle ore 14.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)