Mari Federico

Ruolo Accademico: 

Ricercatore Universitario

Area Scientifica: 


(SSD) Settore Scientifico Disciplinare: 


Dipartimento di Scienze Motorie Umane e della Salute - Sezione: 

Scienze della Salute


P.zza Lauro de Bosis 6, 00135 Roma

tel. 06 36733233

Stanza 117


per appuntamento



Personal website:


Federico Mari 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 2019) - SSD: INF/01. Previously, from 2015, Federico was an Assistant Professor at the Department of Computer Science of Sapienza University of Rome, where he co-founded the Model Checking Laboratory (MCLab), headed by prof. Enrico Tronci. He holds a Ph.D. (2010) and M.Sc. (2006) in Computer Science from Sapienza University of Rome. Between 2010 and 2015, he was a Post-Doc in Sapienza University of Rome. He serves as a reviewer for several journals including IEEE Transactions on Computers and IEEE Transactions on Circuits and Systems I: Regular Papers. He is involved as task or work package responsible in a number of research projects including PAEON and SmartHG. He is tutor for teaching education of newly hired Assistant Professors (tenure track) at Sapienza. He has taught Databases (B.Sc. CS) and Formal Methods in Software Development (M.Sc. CS) at Sapienza (from 2012 to 2018).

More professional information about Federico Mari is available at

Curriculum Scientifico: 

His primary research interests include model checking based verification and synthesis of cyber-physical systems, particularly: Verification via model checking driven simulation for hybrid systems (e.g., software SyLVer); Control software synthesis for discrete time hybrid systems (software QKS); Applications to systems biology and smart-grids.