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)

Algoritmi e Scrutture Dati I (Algorithms and Data Scructures I) NEW
Algoritmi e Scrutture Dati II (Algorithm Design)
Verifica Automatica di Sistemi Software (Automated Software Verification)

Programma del corso ASD I (9 CFU) (PDF format) NEW
Dispensa: Introduzione alla correttezza degli algoritmi (PDF format)

Orario ricevimento studenti

Mercoledì alle ore 10:30 in presenza presso lo studio del docente. NEW

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

Risultati della prova scritta di Algoritmi e Strutture Dati I del giorno 18 luglio 2024.

N97000431 PASTORE LUCA 25
N97000438 BALZANO GIUSEPPE 24
N97000464 SOSOVSKYY OLEKSANDR 24
N97000461 TRINCONE ALESSANDRO 23
N97000453 LAINO ALFREDO VALERIJ 23
N97000447 RUSSO MARCELLO 18
N97000449 VITALE FABRIZIO 18
Le prove orali si terranno il giorno 29 luglio presso lo studio del docente a partire dalle ore 10.

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

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.

Risultati della prova scritta di Algoritmi e Strutture Dati I del giorno 18 luglio 2024.

Studenti che hanno superato la prova scritta e relativa votazione:

N86003779 ANTONELLI RENATO 20
N86004085 ARZANO ISAIA ANGELO 18
N86004481 CASSONE SABRINA 19
N86003587 CESARANO AGOSTINO 18
N86004469 CIOTOLA FABRIZIO 18
N86004037 CIULLO DAVIDE 21
N86002830 CONCILIO GAETANO 18
N86004309 COPPOLA CLAUDIA 19
N86004507 DE NICOLA FEDERICO 18
N86004934 DI DONATO ANDREA 18
N86004156 DI GIOVANNI LUIGI 20
N86004948 DI MARTINO GIUSEPPE 25
N86004093 GALDIERO DAVIDE 20
La verbalizzazione dell'esame si terrà il giorno Giovedì 25 luglio alle ore 10.00 presso i locali del Dipartimento DIETI.

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 Martedì 23 luglio. Gli eventuali orali si terranno secondo il calendario che verrà indicato successivamente alla scadenza per la prenotazione della prova orale.

Attività di ricerca (Research)

Aree di interesse (Areas of Interest)

Software Analysis and Software Model Checking
Analysis and Verification of Security Protocols
Formal Validation and Verification of Multi-Agent Systems
Context-based Reasoning
Distributed Intelligence

Elenco delle Pubblicazioni (List of Personal Publications)

Progetti di ricerca (Current Research Projects)

PRIN National Research Project on Integrating automated reasoning in model checking: towards push-button formal verification of large-scale and infinite-state systems. (20079E5KM8) funded by the Italian Ministry of Scientific and Technological Research in the context of the PRIN'07 programme. Duration: 24 months from September 20, 2008.
PRIN National Research Project: Synthesis of deduction-based decision procedures with applications to the automatic formal analysis of software, funded by Ministero dell'Istruzione, dell'Università e della Ricerca (MIUR), together with Maria Paola Bonacina and Alessandro Armando, 2003 - 2005.
FIRB National Research Project: Automatic Verification of Internet Security Protocols, funded by Ministero dell'Istruzione, dell'Università e della Ricerca (MIUR), together withAlessandro Armando and Fabio Massacci, 2003 - 2005.
Attività organizzativa e di coordinamento (Coordination and Organizing Activities)

Steering Committee Member of the 5th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'05) to be held in Paris, 2005.
Program Committee Member of the First International Workshop on Model Checking Multi-Agent Systems (MCMAS-04), to be held in colocation with AAMAS-04.
Organizing Committee Member of the Second Workshop on Model-Checking and Artificial Intelligence (MoChArt-03), August 2003, Acapulco, Mexico (co-located with the 18th International Joint Conference on Artificial Intelligence (IJCAI'03).
Steering Committee Member of the 4th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'03).
Organizing Committee Member of the First Workshop on Model-Checking and Artificial Intelligence (MoChArt-02), 22-23 July 2002, Lyon, France (co-located with the 15th European Conference on Artificial Intelligence (ECAI-2002).
Program Committee Member of the Second Workshop on Computational Logic in Multi-Agent Systems (CLIMA'01) December 1st 2001, Coral Beach Hotel and Resort, Paphos, Cyprus. Co-located with the Seventeenth International Conference on Logic Programming (ICLP'01).
Workshop Chair of the 3rd International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'01).
Program Committee Member of the Workshop on Semantic Approximation, Ganularity, and Vagueness, 7th International Conference on Principles of Knowledge Representation and Reasoning (KR2000), April 11th 2000, Breckenridge, Colorado, USA.
Publicity Chair of the 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'99).
European Coordinator of the Virtual Worldwide Seminar Project.