Group Leader of TrustCPS

Univ.-Prof. Dott. Ric. Ezio Bartocci

Administrative Staff

Elisa Di Cristo (Office Manager of CPS Research Unit)

Kariem El Saedi (Office Manager of Trustworthy Autonomous CPS)

Luka Johannes Strobl (Technician)

Current (co)-Supervision
x3	x5	x1	x3

PI of the EU Marie Curie Postdoctoral Fellowship CORPORA

Member of the “TU Wien 30 under 30” (list of 30 people below 30 years with exceptional achievements)

Joint papers with Michele in DBLP

University Assistant (PostDoc)

Advisor: Prof. Ezio Bartocci, co-Advisor: Priv.-Doz. Dr. Wilfried Steiner

PhD currently sponsored by TTTech/B&C Privatstiftung

Master student funded by TTTech

Awarded with the ESBS-Austria Young Academics Award

PhD funded by the Doctoral College SecInt and ProbInG

Advisor: Prof. Efstathia Bura, co-Advisor: Prof. Ezio Bartocci and Prof. Laura Kovacs

Link to the Applied Statistics Research Unit (ASTAT)

Awarded with the Best Paper Award at QEST 2022

Joint papers with Andrey in DBLP

PhD funded funded by EU MSCA DK LogiCS@TU Wien

Member of the “TU Wien 30 under 30” (list of 30 people below 30 years with exceptional achievements)

Advisor: Prof. Ezio Bartocci, co-Advisor: Prof. Agata Ciabattoni

Joint papers with Ignacio D. Lopez in DBLP

Eleonora Nesterini

PhD funded by the Doctoral College SecInt and the Austrian Institute of Technology

Advisor: Prof. Ezio Bartocci, co-Advisor: Priv. Doz. Dejan Nickovic

Awardee of the “Marshall Plan Scholarship” for visiting UC Berkeley

Joint papers with Eleonora in DBLP

Visiting PhD from IMT Lucca, Italy

PhD funded by EU MSCA DK LogiCS@TU Wien

Advisor: Prof. Ezio Bartocci, co-Advisors: Prof. Laura Kovacs, Dr. Michele Chiari

Joint papers with Francesco in DBLP

PostDoc funded by TAIGER project

FWF Project Assistant (PhD Student)

Advisor: Prof. Ezio Bartocci, co-Advisor: Dr. Laura Nenzi

Joint papers with Ennio in DBLP

Research intern funded by ProbInG

Awarded with the Radhia Cousot Young Researcher Best Paper Award at SAS 2022

Joint papers with Daneshvar in DBLP

Now PhD Student at Stanford University, USA

FWF Project Assistant (Postdoc)
funded by FWF RISE/SHiNE project

Joint paper with Amin

Now Assistant Professor at South Mediterranean University (SMU), Tunisia

Master student (supervised) at TU Wien

Now Software developer at willhaben internet service GmbH & Co KG, Austria

PhD thesis: "Towards Dependable CPS/IoT Ecosystems"

Advisor: Prof. Radu Grosu, co-Advisor: Prof. Ezio Bartocci

Joint papers with Haris in DBLP

Now Senior R&D Manager at GROPYUS

PhD thesis: "Adaptive Optimization Framework for Verification and Control of Cyber-Physical Systems"

Advisor: Prof. Radu Grosu, co-Advisor: Prof. Ezio Bartocci, Priv. Doz. Josef Widder

Joint papers with Anna in DBLP

Now Assistant Professor at TU Delft, Austria

Dr. Niveditha Manjunath

PhD thesis: "Fault-based Analysis of Cyber Physical Systems"

Advisor: Prof. Ezio Bartocci, co-Advisor: Dr. Dejan Nickovic

Joint papers with Niveditha in DBLP

Now Senior System Test Engineer (DB Netz AG), Germany

PhD funded funded by ProbInG

PhD thesis: "Automated Analysis of Probabilistic Loops"

Advisor: Prof. Laura Kovacs, co-Advisor: Prof. Ezio Bartocci

Winner of the “Distinguished Young Alumn Award” for the best master’s thesis

Winner of the “Diploma Thesis Award” of the City of Vienna for my master’s thesis.

Sub Auspiciis Promotion, Ring of Honor of the Republic of Austria

Awarded with the Best Paper Award at QEST 2022

Awarded with the Radhia Cousot Young Researcher Best Paper Award at SAS 2022

Now freelancer, Austria

Joint papers with Marcel in DBLP

Dr. Laura Nenzi

Postdoc FWF Project Assistant

Winner of the Hedy Lamarr Preis 2020

Local Coordinator (for the TU Wien) of the YIRG ZK35 project

Now Associate Professor at University of Trieste

Joint papers with Laura in DBLP

Dr. Emery A. Neufeld

PhD funded by the Doctoral College on Resilient Embedded Systems

PhD thesis: "Norm Compliance for Reinforcement Learning Agents"

Advisor: Prof. Ezio Bartocci, co-Advisor: Prof. Agata Ciabattoni

Awardee of the “Chrstina Hörbiger Prize” of the TU Wien

Now Postdoc in the group of Prof. Agata Ciabattoni funded by TAIGER project.

Joint papers with Emery in DBLP

PhD thesis: "Design and Verification of Information Flows"

PhD student (supervised) funded by FWF LogiCS DK

Advisor: Prof. Ezio Bartocci, co-Advisor: Prof. Matteo Maffei

Awarded with the EASST ETAPS Best Paper Award 2022.

Joint papers with Ana in DBLP

Now Postdoc at IST Austria with Prof. Tom Henzinger

PhD thesis: "Self-Healing Cyber-Physical Systems"

Advisor: Prof. Radu Grosu, co-Advisor: Prof. Ezio Bartocci

Joint papers with Denise in DBLP

Now Data Scientist at Austrian Railways (OBB), Austria

University Assistant (PostDoc)

Local Coordinator (for the TU Wien) of the YIRG ZK35 project

Joint papers with Stefan in DBLP

Now Software Engineering at Apple, Germany

PhD thesis: "Neural Models for Monitoring and Control - with Applications in Automotive Domain"

Advisor: Prof. Radu Grosu, co-Advisor: Prof. Ezio Bartocci

Joint papers with Konstantin in DBLP

Now Development Engineer at Bosch Austria

Postdoc funded by ProbInG

Awarded with the Best Paper Award at QEST 2022

Awarded with the Radhia Cousot Young Researcher Best Paper Award at SAS 2022

Joint papers with Miroslav in DBLP

PhD funded by the Doctoral College on Resilient Embedded Systems

PhD thesis: "Enhancing Fault Diagnosis in Safety-Critical Cyber-Physical Systems"

Advisor: Prof. Ezio Bartocci

Member of the “TU Wien 30 under 30” (list of 30 people below 30 years with exceptional achievements)

Joint papers with Drishti in DBLP

Visiting PhD from University of Urbino, Italy

Beatrice Melani

Visiting PhD from Politecnico di Milano, Italy

PhD student from University of Edinburgh, UK

Joint papers with Paul in DBLP

Visiting PhD student, University of Florence, Italy (September 2019-May 2020)

PhD student from University of Udine, Italy

Joint papers with Simone in DBLP

Visiting undergraduate student (ERASMUS), Aristotle University of Thessaloniki, Greece (September 2019-January 2020)

Joint papers with Eleni in DBLP