Bild von Ezio Bartocci

© Tiss: Ezio Bartocci

Univ.Prof. Dr. Ezio Bartocci wurde mit Wirksamkeit vom 1.12.2020 zum Universitätsprofessor für Formal Methods in Cyber-Physical Systems Engineering an der TU Wien bestellt. Er ist dem Institut für Computer Engineering, öffnet eine externe URL in einem neuen Fenster (E191) der Fakultät für Informatik, öffnet eine externe URL in einem neuen Fenster zugeordnet.

Ezio Bartocci hat Informatik mit Schwerpunkt Bioinformatik an der Universität von Camerino, öffnet eine externe URL in einem neuen Fenster in Italien studiert und dort auch im Jahr 2009 mit dem Thema "A Formal Framework for Modeling, Simulating and Analyzing Networks of Excitable Cells" promoviert. Nach einem PostDoc Aufenthalt an der New York State University at Stony Brook ("Department of Computer Science") wechselte er im Jahr 2012 als Universitätsassistent an die TU Wien. Im Jahr 2015 erhielt Ezio Bartocci eine Laufbahnstelle mit dem Thema "Medical Cyber-Physical Systems", welche er erfolgreich mit der Qualifizierung zum Associate Prof. beendete und daher seit 1.7.2019 als Associate Professor dem Institut für Computer Engineering zugeordnet war. 2018 erwarb er zudem seine Venia Docendi für "Computer Science" mit einer Habilitationsschrift über das Thema "Formal analysis of cyber-physical systems, öffnet eine externe URL in einem neuen Fenster". 

Ezio Bartocci leitet die Forschungsgruppe Trustworthy Cyber-Physical Systems (TrustCPS, öffnet eine externe URL in einem neuen Fenster) im Forschungsbereich Cyber-Physical Systems (E191-01) und ist Mitglied des Fakultätsrats für Informatik. Zudem ist er Mitglied des Advisory Boards für die Doctoral School "Resilient Embedded Systems, öffnet eine externe URL in einem neuen Fenster". Er ist zudem wissenschaftlicher Koordinator des vom WWTF finanzierten ICT Projekts "ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs, öffnet eine externe URL in einem neuen Fenster".

Publikationen von Ezio Bartocci in der Scopus, öffnet eine externe URL in einem neuen Fenster Datenbank und im ReposiTUm, öffnet eine externe URL in einem neuen Fenster.