I am currently a tenure-track Assistant Professor at the Institute of Computer Engineering, Vienna University of Technology (TU Wien). I also hold the National Habilitation as Associate Professor in Italy in Computer Science (INF/01) and Computer Engineering (ING/INF-05). 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 70 papers published in the top computer aided verification and design (CAV, TACAS, ATVA, etc.), control-theory related (CDC, IFAC, HSCC, etc.) and computational systems biology conferences (CMSB), journals (Comm. of ACM, IEEE Trans. on Control of Network Systems, Theoretical Computer Science, PLOS Computational Biology, etc.) and edited books, generating more than 1400 citations according to Google Scholar (h-index >= 24).
I joined the Faculty of Informatics at Vienna University of Technology in 2012 as University Assistant. In Dec. 2014 I won a "Laufbahnstelle" becoming a tenure-track Assistant Professor. 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 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 also serve as Editorial Board Member of the International Journal of Information and Computation (Elsevier). I represent Austria in the management committee of the EU COST ICT action ARVI on Runtime Verification and I co-chair the RV core working group in this action.