Home

People

This category contains information on the members of MCLab group.

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.

Toni Mancini

Toni Mancini

Assistant Professor

Igor Melatti

Igor Melatti

Assistant Professor

List of Publications
Personal home page

Current Position Since 2010/12/30 Igor Melatti is a Researcher at the Computer Science Department of the Sapienza University of Rome (Italy).

Former Positions From 2005/07/11 to 2005/12/31 and from 2006/07/15 to 2006/09/15 he had a "Post Doctoral Research Associate" position at the School of Computing of the University of Utah (Salt Lake City, UT, USA). From 2006/02/01 to 2010/12/29 he held a Post-Doc position at the Computer Science Department of the Sapienza University of Rome (Italy).

Education In 2005 he received his Ph.D degree from University of L'Aquila (Italy). In 2001 he received his Master degree in Computer Science from the University of L'Aquila (Italy).

Research Interests His current research interests comprise: Formal methods, Automatic synthesis of reactive programs from formal specifications, Hybrid systems, Automatic verification algorithms, Model checking, Software Verification.

Committees He is in the technical committee of the following conferences:
- ICSEA (Conference on Software Engineering Advances)
- INFOCOMP (International Conference on Advanced Communications and Computation).

Peer-to-peer reviewing activity He has served and serves as peer-to-peer reviewer for the following journals:
- IEEE Distributed Systems Online
- International Journal of Business Data Communications and Networking.
He has served and serves as peer-to-peer reviewer for the following conferences:
- CAV (Computer Aided Verification)
- FMCAD (Formal Methods for Computer-Aided Design)
- PSI (Ershov Informatics Conference)
- ICALP (International Colloquium on Automata, Languages and Programming)
- SAT (Theory and Applications of Satisfiability Testing)
- LICS (Logic In Computer Science)
- CHARME (Correct Hardware Design and Verification Methods).

Conferences Organization He is or was in the organization committee of the following conferences:
- ETAPS 2013
- CHARME 2003.

Research Projects As a member of MCLab (Model Checking Laboratory, research group of the Department of Computer Science at Sapienza University of Rome, coordinated by prof. Enrico Tronci) he takes part to many research projects funded by EC (European Community), ESA (European Space Agency), ENEA (Italian National agency for new technologies, Energy and sustainable economic development), CNR (National Research Council), MIUR (Italian Ministry for the Research and University), MSE (Ministry of Economin Development) and private industries. Here is a selected list of projects:
- Ricerca scientifica 2011 (Sapienza University project)
- ESA ITI AO6067: Model Checker Validator for Satellite Operational Procedure
- WFR (MSE): Web Fitting Room
- ULISSE (EC FP7): USOCs KnowLedge Integration and Dissemination for Space Science Experimentation
- SAPP (local project): Advanced System for the Design and Planning of Wireless Networks
- ESA 5459 SSFRT: System and Software Functional Requirements Techniques
- SINTESI (MIUR): Automatic Synthesis of Reaction Rules for Enterprise Processes Management
- CRESCO (MIUR): Computational Center for the Research on Complex Systems

Ivano Salvo

Ivano Salvo

Assistant Professor

List of Publications
Personal home page

Federico Mari

Federico Mari

Assistant Professor

List of Publications
Personal home page

Current Position Since 2015/01/01 Federico is an Assistant Professor (Ricercatore a Tempo Determinato, tipologia A) at the Computer Science Department of Sapienza University of Rome (Italy).

Former Positions From 2010/01/01 to 2014/12/31 Federico was a Postdoctoral Researcher at the Computer Science Department of Sapienza University of Rome (Italy).

Education In 2010 he received his Ph.D degree from Sapienza University of Rome with a thesis titled Verification and Synthesis for Discrete Time Linear Hybrid Systems. In 2006 he received his Master degree in Computer Science from Sapienza University of Rome.

Research Interests His current research interests comprise: formal methods, automatic verification algorithms, model checking, hybrid systems verification, automatic synthesis of control software from formal specifications, automatic verification of Nash Equilibria in multi administrative distributed systems.

Conferences Organization He has been involved in the organization committee of ETAPS 2013.

Research Projects As a member of MCLab (Model Checking Laboratory, research group of the Department of Computer Science at Sapienza University of Rome, coordinated by prof. Enrico Tronci) he takes part to many research projects funded by EC (European Community), ESA (European Space Agency), ENEA (Italian National agency for new technologies, Energy and sustainable economic development), CNR (National Research Council), MIUR (Italian Ministry for the Research and University), MSE (Ministry of Economin Development) and private industries. A complete list of projects in which MCLab group is involved can be found in projects section.
Here is a selected list of projects:
- PAEON (FP7-ICT-2011-9, ICT-2011.5.2): Model Driven Computation of Treatments for Infertility Related Endocrinological Diseases
- SmartHG (FP7-ICT-2011-8, ICT-2011.6.1): Energy Demand Aware Open Services for Smart Grid Intelligent Automation
- ULISSE (EC FP7): USOCs KnowLedge Integration and Dissemination for Space Science Experimentation

Vadim Alimguzhin

Vadim Alimguzhin

Post Doc

List of Publications
Personal home page

Current position Since 2014 Vadim Alimguzhin is a Postdoctoral Researcher at the Computer Science Department of Sapienza University of Rome (Italy).

Education In 2013 he received his PhD degree from Sapienza University of Rome (Italy). His advisor was Prof. Enrico Tronci. In 2009 he received his Master Degree from Ufa State Aviation Technical University in "Software and administration of information systems".

Research interests His current research interests comprise: data structures, formal methods, model checking, hybrid systems, automatic control software synthesis.

Francesco Davì

Francesco Davì

PhD

Personal home page

Education

In 2012 he received his Ph.D degree from Sapienza University of Rome with a thesis titled Input-shrinking functions: theory and application.

In 2007 he received his Master degree in Computer Science from Sapienza University of Rome.

Projects

- SmartHG
- PAEON