Dipartimento di Informatica

Enrico Tronci received his Masters degree in Electrical Engineering from the “Sapienza” University of Rome in 1987.

He received his Ph.D from Carnegie Mellon University, Pittsburgh, USA, in 1991.

From 1992 to 1993 he was a Post-Doct at LIP (Laboratoire pour l'Informatique du Parallelisme) in the ENS (Ecole Normal Superior) of Lyon (France). Presently he is an Associate Professor in the “Dipartimento di Informatica” of the “Sapienza” University of Rome.

His research interests include: Formal Methods, Automatic Verification Algorithms, Model Checking, Hybrid Systems.

Enrico Tronci has authored numerous scientific papers published in international journals and in international conference proceedings. He was Conference Chair for the CHARME (Correct Hardware Design and Verification methods) conference in 2003 and served on the Program Committees of the conferences: FMCAD (Formal Methods in Computer Aided Design) 2004, CHARME 2005. He has been involved in a variety of research projects sponsored by the European Community, CNR, ENEA and MURST.

---