معرفی
Massimo Benerecetti is an Associate Professor in Computer Science at the Department of Electrical Engineering and Information Technologies, University of Naples "Federico II". He is actively involved in teaching and research, with a focus on algorithms, data structures, and formal verification of software systems.
- Position: Associate Professor
- Institution: University of Naples "Federico II"
- Department: Department of Electrical Engineering and Information Technologies
- Research Areas: Software Analysis, Model Checking, Formal Verification, Security Protocols, Multi-Agent Systems
- Contact: massimo.benerecetti@unina.it
His research interests lie in the domain of formal methods for software and system verification, particularly in automated reasoning, model checking, and the analysis of security protocols and multi-agent systems. He has contributed to national research projects funded by MIUR, including PRIN and FIRB initiatives focused on automated verification and reasoning in complex systems.
Although no recent publications are listed in the provided text, his academic work centers on advancing formal techniques for software validation, especially in distributed and context-aware environments. His teaching responsibilities include core computer science courses such as Algorithms and Data Structures I and II, as well as specialized topics like Automated Software Verification.
Massimo Benerecetti has also played an active role in the academic community through organizational and committee roles in international conferences such as CONTEXT, MCMAS, MoChArt, CLIMA, and KR, reflecting his engagement with interdisciplinary research at the intersection of AI, logic, and formal methods.
He advises students and conducts office hours by appointment, maintaining an accessible academic presence. There is no indication of part-time status, awards, or student advisees in the provided information.
