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