I am a Full Professor for Formal Methods in Cyber-Physical Systems Engineering at the Faculty of Computer Science TU Wien, and I am leading the Trustworthy Cyber-Physical Systems (TrustCPS) Group of the Cyber-Physical System Research Unit. The primary focus of my research is to develop formal methods, computational tools and techniques that support the modeling and the automated analysis of complex computational systems, including software systems, cyber-physical systems and biological systems. On these topics I co-authored more than 100 referred papers published in the main international journals and top-tier conferences of my research areas (CAV, ICCPS, TACAS, ATVA, CDC, EMSOFT, HSCC, ESOP, etc.), generating more than 3200 citations (h-index >= 33) according to Google Scholar and more than 1800 citations (h-index >= 26) according to Scopus.

I joined the Faculty of Informatics at TU Wien in 2012 as University Assistant. In Dec. 2014 I won a "Laufbahnstelle" becoming a tenure-track Assistant Professor and I was promoted to tenured Associate Professor in May 2019 and to Full Professor in Dec 2020. Previously I was a post-doctoral researcher at the Department of Computer Science (Research Scientist - from March 2011) and at the Department of Applied Math and Statistics (Research Associate - from February 2010) of the State University of New York at Stony Brook. My research area, in the framework of the NSF Expeditions in Computing project CMACS, was the Computational Modelling and Analysis of Cardiac Dynamics for Prediction and Control of Cardiac Arrhythmia. I received the B.S. degree in Computer Science and the M.S. degree in Bioinformatics from the University of Camerino in Italy, in 2002 and 2005, respectively. During my M.S. degree in Bioinformatics I won a scholarship (from June 2003 to Feb 2004) funded by the MIUR project Oncology Over Internet (O2I). In 2009 I got a Ph.D. in Complex Systems and Information Sciences from the University of Camerino. I also hold the National Habilitation as Associate Professor (since 2014) in Computer Science (INF/01) and Computer Engineering (since 2017) (ING/INF-05) in Italy. In 2019 I received the Habilitation (Venia Docendi) in Computer Science at the Faculty of Informatics of TU Wien.

I co-chaired several international events, such as HSB 2012, the First International Workshop on Hybrid Systems and Biology, SPIN 2013, the 20th Intern. Symposium on Model Checking Software, the CSRV-2014, the First Intl. Competition of Software Runtime Verification in Canada, the Medical CPS track at Isola 2014, the 15th Intl. Conference on Runtime Verification in Vienna (2015), the 14th International Conference on Computational Methods in Systems Biology in Cambridge (2016) and the 7th International Workshop on Medical Cyber-Physical Systems in Vienna (2016). I co-organized in Vienna the CPS Week 2016. I was the General Chair of QONFEST 2020, the umbrella conference comprising the joint international 2020 meetings: CONCUR 2020, FMICS 2020, FORMATS 2020, QEST 2020, alongside with several workshops and tutorials. I serve as Editorial Board Member of the International Journal of Information and Computation (Elsevier). I am a permanent member of the Steering Committee of the International Conference of Runtime Verification. I am currently the scientific coordinator of the recently funded WWTF ICT project ProbInG.