Ezio Bartocci

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

Professor

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

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

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

PhD Student

Miroslav Stankovic

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

PhD Student