Federico Mari is an Associate Professor of Computer Science at the Department of Movement, Human and Health Sciences of the University of Rome Foro Italico (from 2022), where he also was assistant professor (tenure track) from 2019, and where he served as Rector's delegate for Information Technology in the period 2020-2022.
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) group, 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 a number of journals including IEEE Transactions on Computers and IEEE Transactions on Circuits and Systems I: Regular Papers.
From the beginning of his career, he has been involved as task or work package responsible in a number of research projects including
PAEON and
SmartHG.
In 2018, he was tutor for teaching education of newly hired assistant professors at Sapienza.
He has been teaching Computers & Data Analysis for Sport and Movement Sciences at the University of Rome Foro Italico (Bachelor and Master degrees) since 2019. He has taught Databases (Bachelor of Science CS) and Formal Methods in Software Development (Master of Science CS) at Sapienza (from 2012 to 2018).
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.
Biography »
CV (Web)»
CV (PDF)»
orcid.org/0000-0003-4289-9301