Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Massimo Benerecetti's home page -->

Massimo Benerecetti

Associate Professor in Computer Science at the Università di Napoli "Federico II"

Section of Computer Science,
Office: 0F-34 (Biology Building),
Dipartimento di Scienze Fisiche,
Università di Napoli "Federico II",
Via Cintia, Complesso Monte S. Angelo,
I-80126 Napoli, ITALY.
Phone: +39 081 679266
Fax: +39 081 676346
E-mail: bene <at> na.infn.it (replace <at> with @) or Massimo.Benerecetti <at> na.infn.it (replace <at> with @)

Orario ricevimento studenti: Mercoledì dalle 15 alle 17.

Comunicati per gli studenti di Algoritmi e Strutture Dati:

Le lezioni del corso di Algoritmi e Strutture Dati I inizieranno regolarmente il giorno Lunedì 10 Ottobre.

Risultati dello scritto del Modulo B del 29 Settembre. Gli orali si terranno a partire dalle ore 10:30 del giorno Venerdì 7 Ottobre. Presentarsi presso l'ufficio 2Ma13 del Prof. Benerecetti.

Teaching

Algoritmi e Scrutture Dati, Mod. A (a.a. 2003/2004) (Algorithms and Data Scructures, Mod. A)
Algoritmi e Scrutture Dati, Mod. B (a.a. 2003/2004) (Algorithms and Data Scructures, Mod. B)
Tecniche di Specifica e di Verifica (a.a. 2003/2004) (Specification and Verification Techniques)

Areas of Interest

Formal Validation and Verification of Multi-Agent Systems
Context-based Reasoning
Distributed Intelligence
Computer Security

List of Personal Publications (NOT REALLY UP TO DATE)

Current Research Projects

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