Ezio Bartocci
I am a full professor for formal methods in cyber-physical systems engineering
at Faculty of Informatics at TU Wien. 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 100 referred papers published in the main international
journals and top-tier conferences of my research areas (CAV, ICCPS, TACAS, ATVA, CDC,
EMSOFT, HSCC, etc.), generating more than 2900 citations (h-index >= 32) according to
Google Scholar.