Ezio Bartocci has successfully defended his Habilitation (Venia Docendi) in Computer Science at TU Wien

Ezio Bartocci has successfully defended his Habilitation (Venia Docendi) in Computer Science at TU Wien with a thesis on "Formal Analysis of Cyber Physical Systems" on April 12th 2019. Bartocci currently holds also the Italian National Habilitation in Computer Science (since 2014) and Information Engineering (since 2017) in Italy.

The primary focus of Bartocci's 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 80 referred papers published in the main international journals and top-tier conferences of his research areas (CAV, TACAS, ATVA, CDC, EMSOFT, HSCC, etc.), generating more than 2000 citations (h-index >= 28) according to Google Scholar.

In the picture below the Vicerektor Prof. Kurt Matyas delivers the Habilitation certificate to Ezio Bartocci.

Vice Rector Prof. Kurt Matyas hands Habilitation Certificate to Ezio Bartocci