GROUP MEMBERS: |
|
in alphabetical order: |
|
|
|
Wassim Essbai
Advisor: Prof. Ezio Bartocci, co-Advisor: Priv.-Doz. Dr. Wilfried Steiner
PhD currently sponsored by TTTech/B&C Privatstiftung
|
|
|
|
Beatrice Melani
Visiting PhD from Politecnico di Milano, Italy
|
|
Eleonora Nesterini
PhD funded by the Doctoral College SecInt and the Austrian Institute of Technology
Advisor: Prof. Ezio Bartocci, co-Advisors: Prof. Andreas Kugi and Priv. Doz. Dejan Nickovic
Awardee of the “Marshall Plan Scholarship” for visiting UC Berkeley
Joint papers with Eleonora in DBLP
|
|
|
|
|
Drishti Yadav
PhD funded by the Doctoral College on Resilient Embedded 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
|
|
Alumni - master, doctoral and postdoctoral students that I have advised or co-advised. |
|
|
Dipl.-Ing. Fabian Exenberger
Master student (supervised) at TU Wien
Now Software developer at willhaben internet service GmbH & Co KG, Austria
|
|
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 Project manager at Viewpointsystem
|
|
Dr. Anna Lukina
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. 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.
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. 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
|
|
|
|
|
|
Dr. Miroslav Stankovič
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
|
|
Dipl. Ing. Csaba Vaczula
Master student (supervised) at TU Wien
|
|
|
Visiting students: |
|
Francesco Santoni
Visiting PhD student, University of Florence, Italy (September 2019-May 2020)
|
|
|
Eleni Zapridou
Visiting undergraduate student (ERASMUS), Aristotle University of Thessaloniki, Greece (September 2019-January 2020)
Joint papers with Eleni in DBLP
|
|