Home

People

This category contains information on the members of MCLab group.

Enrico Tronci

Enrico Tronci

Full Professor - MCLab Coordinator

Enrico Tronci is a Full Professor with the Computer Science Department of Sapienza University of Rome (Italy). Previously he was a Researcher with the Computer Science Department of the University of L'aquila (Italy) and 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 activity focuses on Intelligent Systems (IS), that is, systems able to safely and effectively operate in a environment that is only partially known. Examples of ISs are found among:

Healthcare Systems, CyberPhysical Systems (CPS), Systems Biology, Energy Management Systems, Space and Defense Systems, Logistics, Manufacturing, etc.

In such a framework, the main research topics pursued are the followings.

  • AI and Model Checking based  methods and software tools for verification and validation of ISs.
  • AI and Model Checking based  methods and software tools for automated synthesis of control strategies for ISs.
  • AI and Machine Learning based methods and software tools to automatically develop models for an IS environment from operational data and background knowledge.

He has served as conference chair, member of the program committee or as a reviewer in many International Journals and Conferences.

He has been coordinator for two EC (European Commission) funded research projects, PI (Principal Investigator) for dozens of research projects sponsored by the EC, 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 100 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

Federico Mari received his Ph.D in Computer Science in 2010 from Sapienza University of Rome, defending his thesis on Verification and Synthesis for Discrete Time Linear Hybrid Systems. Currently (from 2019), Federico is an Assistant Professor (tenure track) of Computer Science at the Department of Movement, Human and Health Sciences of the University of Rome Foro Italico. From 2015 to 2018, he was an Assistant Professor at the Computer Science Department of Sapienza University of Rome. Previously, he was a Postdoctoral Researcher in the same Computer Science Department.

Mainly interested in Formal Methods. In particular, on automatic verification (model checking) and control software synthesis for cyber-physical (hybrid) systems. He publishes in journals including IEEE Transactions on Automatic Control and ACM Transactions for Software Engineering and Methodology, and in proceedings of international conferences including Computer Aided Verification (CAV), Hybrid Systems Computation and Control (HSCC). Scopus ID.

Federico is an active reviewer. In fact, he performed reviews for journals including IEEE Transactions on Computers and IEEE Transactions on Circuits and Systems I: Regular Papers. He served as finance chair for conference ETAPS 2013. Publons Verified Record.

Federico participates, as a task/work package leader and proposal writer, in a number of international projects funded by EC or ESA and in a number of national funding projects. In 2017, he received personal Financing for Research Activities from the Italian Ministry of University.

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 in Computer Science from Sapienza University of Rome.

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

Projects

SDFS
- SCAPR
- SmartHG
- PAEON