Enrico Tronci

Enrico Tronci

Associate Professor - MCLab Coordinator

Since 2001 Enrico Tronci is an Associate Professor with the Computer Science Department of Sapienza University of Rome (Italy). From 1994 to 2000 he has been a Researcher with the Computer Science Department of the University of L'aquila (Italy). From 1992 to 1993 he has been a Post-Doct at LIP (Laboratoire pour l'Informatique du Parallelisme) at the ENS (Ecole Normal Superior) of Lyon (France). In 1991, under the supervision of Prof. Richard Statman, he received his Ph.D degree from Carnegie Mellon University, Pittsburgh, USA. In 1987, under the supervision of Prof. Corrado Boehm and Prof. Giorgio Ausiello, he received his Master degree in Electrical Engineering from Sapienza University of Rome.

His current research interests comprise: Automatic synthesis and verification of reactive systems, Model checking algorithms, Hybrid systems, Automatic Verification of Nash Equilibria in Multi Administrative Distributed Systems. He has served as conference chair, member of the program committee or as a reviewer in many International Journals and Conferences.

He has been recently involved with more than ten research projects sponsored by the EC (European Community), ESA (European Space Agency), CNR (National Council of Research), ENEA (National Institute for Alternative Energies), MIUR (Italian Ministry for University and Research) and private industries. He has authored more than 70 scientific papers on International Journals and Conferences.