© Tiss: Ezio Bartocci

Univ.Prof. Dr. Ezio Bartocci , öffnet eine externe URL in einem neuen Fensterwurde 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 (E191) der Fakultät für Informatik , öffnet eine externe URL in einem neuen Fensterzugeordnet.

Lebenslauf: Ezio Bartocci stammt aus Italien und hat Informatik mit Schwerpunkt Bioinformatik an der Universität von Camerino, öffnet eine externe URL in einem neuen Fenster in Italien studiert, wo er auch im Jahr 2009 mit dem Thema "A Formal Framework for Modeling, Simulating and Analyzing Networks of Excitable Cells" promovierte. 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". 

Die wissenschaftliche Heimat von Ezio Bartocci ist die Forschungsgruppe Trustworthy Cyber-Physical Systems (TrustCPS, öffnet eine externe URL in einem neuen Fenster) im Forschungsbereich Cyber-Physical Systems, öffnet eine externe URL in einem neuen Fenster (E191-01), die er auch leitet. Er ist 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” und leitet die Doctoral School Trustworthy Autonomous Cyber-Physical Systems., öffnet eine externe URL in einem neuen Fenster

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