Picture of Ezio Bartocci

© Tiss: Ezio Bartocci

Univ.Prof. Dr. Ezio Bartocci was appointed as University Professor of Formal Methods in Cyber-Physical Systems Engineering at TU Wien with effect from 1 December 2020. He is assigned to the Institute of  Computer Engineering, opens an external URL in a new window (E191) in the Faculty of Informatics, opens an external URL in a new window.

Ezio Bartocci has studied informatics at the University of Camerino, opens an external URL in a new window in Italy focusing in bioinformatics and was awarded his doctorate for the thesis "A Formal Framework for Modeling, Simulating and Analyzing Networks of Excitable Cells" in the year 2009. After doing postdoctoral research at the New York State University at Stony Brook ("Department of Computer Science" ) he moved to TU Wien in the year 2012, working as an university assistant. In the year 2015 he successfully applied for a tenure-track position on the subject of Medical Cyber-Physical Systems, which he succeeded in completing in 2019, thus qualifying as Associate Professor from July 1, 2019 on. In addition he was being awarded his authorisation to teach (venia docendi) in 2018 in Computer Science for his habilitation theses "Formal analysis of cyber-physical systems, opens an external URL in a new window". 

He leads the Research Group on "Trustworthy cyber-physical systems" (TrustCPS, opens an external URL in a new window) at the Research Unit of Cyber-Physical Systems (E191-01) and is a principal member of the Faculty Council of Informatics. Moreover he is an advisory board member of the Docotoral College on Resilient Embedded Systems, opens an external URL in a new window . He is also the scientific coordinator of the ICT Project “ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs, opens an external URL in a new window”  funded by the. Vienna Science and Technology Fund.

Publications by Ezio Bartocci in ReposiTUm, opens an external URL in a new window.