Univ.Prof. Dr. Ezio BARTOCCI
© Tiss: Ezio Bartocci
Univ.Prof. Dr. Ezio Bartocci, opens an external URL in a new window was appointed as University Professor of Formal Methods in Cyber-Physical Systems Engineering at TU Wien with effect from December 1, 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.
CV: 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 thesis on "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, opens an external URL in a new window (E191-01). He is the scientific coordinator of the WWTF-funded ICT project “ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs, opens an external URL in a new window” and heads the Doctoral School Trustworthy Autonomous Cyber-Physical Systems, opens an external URL in a new window. His research focuses on formal methods, cyber-physical systems, machine learning, cybersecurity and formal verification.
Publications by Ezio Bartocci in the Scopus, opens an external URL in a new window database and in ReposiTUm, opens an external URL in a new window.
Univ.Prof.Ezio Bartocci
University Professor, Research Unit of Cyber-Physical Systems
Phone: +43 1 58801 18226 Call Ezio Bartocci
Show room DE0324 on the map , opens an external URL in a new window
Treitlstraße 3, 3. Stock, 1040 Wien, Österreich
ORCID iD of Univ.Prof. Ezio Bartocci , opens an external URL in a new window
Research profile of Univ.Prof. Ezio Bartocci , opens an external URL in a new window
Univ.Prof.Ezio Bartocci
University Professor, Research Unit of Cyber-Physical Systems
Phone: +43 1 58801 18226 Call Ezio Bartocci
Show room DE0324 on the map , opens an external URL in a new window
Treitlstraße 3, 3. Stock, 1040 Wien, Österreich
ORCID iD of Univ.Prof. Ezio Bartocci , opens an external URL in a new window
Research profile of Univ.Prof. Ezio Bartocci , opens an external URL in a new window