Ezio Bartocci
Ezio Bartocci is the PI’s mentor within the CORPORA project.
He is a full professor for formal methods in cyber-physical systems engineering at the Faculty of Informatics at TU Wien. He is leading the Trustworthy Cyber-Physical Systems (TrustCPS) Group of the Cyber-Physical System Research Unit. The primary focus of his 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 he co-authored more than 100 referred papers published in the main international journals and top-tier conferences of my research areas.