GROUP MEMBERS:

Univ.-Prof. Dott. Ric. Ezio Bartocci

Group Leader of TrustCPS

Chair of the Doctoral College on Trustworthy Autonomous CPS


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/Mentoring

x4 x11 x3 x2

Generated with ChatGPT 4o
The TrustCPS Group attracts some of the most talented young researchers in the world (in alphabetical order):
Stephan Bieringer

Bachelor Student

Advisor: Prof. Ezio Bartocci, co-Advisor: Martin Tappler
Dott. Ric. Michele Chiari

PI of the EU Marie Curie Postdoctoral Fellowship CORPORA

Winner of the EU Marie Skłodowska-Curie Actions Postdoctoral Fellowship

Best Master's thesis of the Italian Chapter of EATCS 2019

Member of the “TU Wien 30 under 30”, 2023

Top A/A* Conferences: 3xCAV, 1xDAC, 1xAAMAS, 1xEMSOFT

Co-author of the paper recipient of the Best Student Paper Award of AAMAS 2025

Joint papers with Michele in DBLP
Mihaela-Larisa Clement (Starting in October)

PhD funded by DK on Automated Reasoning

Advisor: Prof. Ezio Bartocci, co-Advisor: Prof. Thomas Gärtner

Davide Croatto (Starting in September)

Erasmus Traineeship - Visiting Master Student from Milano Bicocca, Italy
Dott. Ric. Luca Di Stefano

University Assistant (PostDoc)

Top A/A* Conferences: 1xCAV
Mehran Moeini Jam (Starting in October)

PhD funded by DK on Automated Reasoning

Advisor: Prof. Georg Weissenbacher, co-Advisor: Ezio Bartocci

Joint papers with Jie in DBLP
Wassim Essbai

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

PhD currently sponsored by TTTech/B&C Privatstiftung

Joint papers with Wasim in DBLP
Felix Gigler (Starting on October 1st)

PhD funded by DK on Automated Reasoning

Advisor: Prof. Ezio Bartocci, co-Advisor: Dejan Nickovic, Georg Weissenbacher

Top A/A* Conferences: 1xEMSOFT

Joint papers with Jie in DBLP
Jie He

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

Top A/A* Conferences: 1xICSE, 2xDAC

Joint papers with Jie in DBLP
Charlie Hess

Fullbright Scholar (Starting from October 1st)

Visiting PhD student from University of Virginia, USA
Vincent Kenbeek

Master student funded by TTTech

Awarded with the ESBS-Austria Young Academics Award
Ignacio D. Lopez

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

Top A/A* Conferences: 1xIJCAI, 1xECAI

Joint papers with Ignacio D. Lopez in DBLP
Johannes Benedikt Pritzl

Bachelor Student

Advisor: Prof. Ezio Bartocci, co-Advisor: Pontiggia Francesco
Dott. Ric. Francesca Randone

PI of the EU Marie Curie Postdoctoral Fellowship (Starting in September 2025)

Winner of the EU Marie Skłodowska-Curie Actions Postdoctoral Fellowship

Best PhD thesis of the Italian Chapter of EATCS 2024

Top A/A* Conferences: 1xPOPL, 1xOOPSLA
Ali Sikandar

Visiting PhD Student from University of Camerino, Italy
Alexander Tepaev

Master Student

Advisor: Prof. Ezio Bartocci, co-Advisor: Luca Di Stefano
Dr. Martin Tappler

PostDoc funded by TAIGER project

Top A/A* Conferences: 1xICSE, 2xIJCAI, 1xNeurIPS, 3xICST and 1xFM

Best Paper Award at ICTSS 2019

Best Paper Award at SEFM 2021

Joint papers with Martin in DBLP
Ennio Visconti

FWF Project Assistant (PhD Student)

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

Top A/A* Conferences: 1xASE, 1xMoDELS

Joint papers with Ennio in DBLP
Marco Zamponi

Visiting PhD Student from IMT Lucca, Italy
Alumni - master, doctoral and postdoctoral students that I have advised or co-advised.
Daneshvar Amrollahi

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
Dr. Mohamed Amin Ben Sassi

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

Joint paper with Amin

Now Assistant Professor at South Mediterranean University (SMU), Tunisia
Dipl.-Ing. Fabian Exenberger

Master student (supervised) at TU Wien

Now Software developer at willhaben internet service GmbH & Co KG, Austria
Dr. Andrey Kofnov

PhD funded by the Doctoral College SecInt and ProbInG

PhD thesis: "Distribution Recovery in Probabilistic Loops"

Advisor: Prof. Efstathia Bura, co-Advisor: Prof. Ezio Bartocci

Link to the Applied Statistics Research Unit (ASTAT)

Awarded with the Best Paper Award at QEST 2022

News of TU Wien in Phys.org about our ICML 2025 paper

Joint papers with Andrey in DBLP
Dr. Haris Isakovic

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
Dr. Anna Lukina

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

Advisor: Prof. Radu Grosu, co-Advisors: 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
Dr. Marcel Moosbrugger

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

Assoc. Prof. Dott. Ric. Laura Nenzi

Postdoc FWF Project Assistant

Winner of the Hedy Lamarr Preis 2020

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

ACM SIGBED HSCC Best Paper Award 2025

Now Associate Professor at University of Trieste

Joint papers with Laura in DBLP

Dr.in Eleonora Nesterini

PhD thesis: "Specification Mining for Cyber-Physical Systems"

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

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

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

Top A/A* Conferences: 1xEMSOFT

Joint papers with Eleonora 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

Distinguished Paper Award at IJCAI 2025

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

Joint papers with Emery in DBLP
Dr. Ana Oliveira da Costa

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
Dr. Denise Ratasich

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
Clemens Rinner

Bachelor thesis: "Automated Detection and Classification of Jigsaw Puzzle Pieces in Digital Images"

Advisor: Prof. Ezio Bartocci
Dr. Stefan Schupp

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
Dr. Konstantin Selyunin

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
Dr. Miroslav Stankovič

PhD thesis: "Moment-based loop analysis"

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

Postdoc in the TrustCPS Group 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
Dr. Drishti Yadav

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 students:
Lorenzo Calisti

Visiting PhD from University of Urbino, Italy

Beatrice Melani

Visiting PhD from Politecnico di Milano, Italy

Joint papers with Paul in DBLP
Matteo Paier

Visiting PhD from IMT Lucca, Italy
Paul Piho

PhD student from University of Edinburgh, UK

Joint papers with Paul in DBLP
Francesco Santoni

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

PhD student from University of Udine, Italy

Joint papers with Simone in DBLP
Eleni Zapridou

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

Joint papers with Eleni in DBLP

Impressum


Name: Univ.-Prof. Dott. Ric. Ezio Bartocci Title: University Professor in Computer Science
Affiliation: Institute of Computer Engineering
TU Wien – Technische Universität Wien		 Address: TU Wien, Treitlstrasse 3, 1040 Vienna, Austria
Email: ezio.bartocci@tuwien.ac.at Responsible for Content: Ezio Bartocci, § 55 Abs. 2 RStV

Disclaimer: I assume no liability for the content of external links. Responsibility lies solely with the operators of linked websites. Copyright: All content on this site is © Ezio Bartocci unless otherwise noted. Reuse without permission is not allowed. Privacy Policy (Datenschutzerklärung): This website does not collect personal data, use cookies, or analytics services.