Daneshvar Amrollahi
Daneshvar Amrollahi

I am an undergraduate computer engineering student doing a research internship at TU Wien.

Summer Internship Student
Ezio Bartocci
Ezio Bartocci

I am a full professor at Faculty of Informatics, at TU Wien, leading the trustworthy cyber-physical systems (TrustCPS) group. I am the scientific coordinator of the ProgInG project.

Professor
Efstathia Bura
Efstathia Bura

I am heading the Applied Statistics Research Unit (ASTAT) in the Institute of Statistics and Mathematical Methods in Economics at the TU Wien.

Professor
Ahmad Karimi
Ahmad Karimi

I am a PhD student in the Applied Statistics Research Unit (ASTAT) in the Institute of Statistics and Mathematical Methods in Economics at TU Wien.

PhD Student
George Kenison
George Kenison

I am a postdoctoral researcher in automated reasoning and program analysis at TU Wien.

PostDoc
Andrey Kofnov
Andrey Kofnov

I am a PhD student in the Applied Statistics Research Unit (ASTAT) in the Institute of Statistics and Mathematical Methods in Economics at TU Wien.

PhD Student
Laura Kovács
Laura Kovács

I am a full professor at the Faculty of Informatics of the Vienna University of Technology (TU Wien), leading the research group in automated program reasoning- APRe.

Professor
Marcel Moosbrugger
Marcel Moosbrugger

I am a PhD student interested in probabilistic programming, almost-sure termination and spec-consistent AI.

PhD Student
Miroslav Stankovic
Miroslav Stankovic

I am a PhD student under the supervision of Laura Kovács and Ezio Bartocci.

PhD Student