Federico Mari received his Ph.D in Computer Science in 2010 from Sapienza University of Rome, with a dissertation on Verification and Synthesis for Discrete Time Linear Hybrid Systems, advised by prof. Enrico Tronci. Currently (since 2019), he 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 2015 to 2018, Federico was an Assistant Professor at the Computer Science Department of Sapienza University of Rome. Previously, he was a Postdoctoral Researcher in the same Department.
Federico is mainly interested in Formal Methods. In particular, in automatic verification (model checking) and control software synthesis for cyber-physical (hybrid) systems. On the verification side, his main achievement is on simulation-based verification of hybrid systems with MATLAB Simulink©, developed in a tool called SyLVaaS. On the control side, his main achievement is on quantized feedback control for (possibly nonlinear) hybrid systems, developed in a tool called QKS.
He actively publishes in journals including IEEE Transactions on Automatic Control and ACM Transactions on Software Engineering and Methodology, and in proceedings of international conferences including Computer Aided Verification (CAV), Formal Methods in Computer-Aided Design (FMCAD), and Hybrid Systems Computation and Control (HSCC). His average impact factor on journals until October 2018 is 1.6, while it becomes 1.8 if restricted to last 5 years (source Scopus).
Federico is an active reviewer. In fact, he performed a number of reviews (Publons certified) for journals including IEEE Transactions on Computers and IEEE Transactions on Circuits and Systems I: Regular Papers. He served as finance chair for conference ETAPS 2013. More than this, he performed a number of other reviews not listed in the Publons record.
Federico participates, as a task/work package leader and proposal writer, in a number of international projects funded by EC or ESA and in a number of national funding projects. In 2017, he received personal Financing for Research Activities from the Italian Ministry of University.
Federico has been professor of Databases (Bachelor) and reader of Formal Methods for Software Development (Master of Science) at the Computer Science Degree in Sapienza (from 2012 to 2018). He mentors students up to the Ph.D. level, conveying to young students the enthusiasm which is needed to become successful researchers. Moreover, Federico has recently become a tutor for newly hired assistant professors in their training for teaching in Sapienza.