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). 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. 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 (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.
Department of Health Sciences
University of Rome Foro Italico