GROUP MEMBERS: |
|
in alphabetical order: |
|
Dr. Michele Chiari
Postdoc currently funded by ProbInG
Member of the “TU Wien 30 under 30” (list of 30 people below 30 years with exceptional achievements)
Awarded with the EU Marie Curie Postdoctoral Fellowship
|
|
|
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
|
|
Marcel Moosbrugger
PhD funded funded by ProbInG
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.
Member of the “TU Wien 30 under 30” (list of 30 people below 30 years with exceptional achievements)
Awarded with the Best Paper Award at QEST 2022
Awarded with the Radhia Cousot Young Researcher Best Paper Award at SAS 2022
Link to the Automated Program Reasoning Group - APRe
Joint papers with Marcel in DBLP
|
|
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
|
|
|
|
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
|
|
|
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
|
|
|
|
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
|
|
|
|
|
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
|
|