Federico Mari

Ph.D. Sapienza University of Rome, 2010

Assistant Professor
Computer Science Department
Sapienza University of Rome


Mail: Dipartimento di Informatica, Sapienza Università di Roma, Via Salaria 113, I-00198 Roma, Italy
Office: Room 335 third floor
E-mail: my_surname@di.uniroma1.it
Phone: +39 06 4991 8360
Fax: +39 06 8541842

Curriculum Vitae (April 13, 2017)
Model Checking Labs @ Sapienza


Formal Methods: Automatic Control Software Synthesis
Model Based Synthesis of Control Software from System Level Formal Specifications
Automatic Synthesis of Control Software for Discrete Time Linear Hybrid Systems

Formal Methods: Automatic Verification
System Level Formal Specification via Model Checking Driven Simulation
Model Checking Nash Equilibria in MAD Distributed Systems
Model Checking Safety Properties for Discrete Time Linear Hybrid Systems
Model Checking and Space Applications
Model Checking and SysML

Risk Analysis

Information Retrieval




A complete list of the projects in which our group is involved can be found here.


Docente di Basi di Dati II Modulo, Secondo Anno della Laurea Triennale, Canale 2 (il sito del corso è ospitato dal Prof. Toni Mancini), dall'AA 2013/2014
Esercitatore di Metodi Formali per il Software (Prof.ssa Anna Labella), dall'AA 2010/2011