Federico Mari is an Assistant Professor of Computer Science at Sapienza University of Rome (from 2015), 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 teaches Databases (Bachelor) and Formal Methods in Software Development (Master) at Computer Science Degree in Sapienza.
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.