I am a full professor at Faculty of Informatics, at TU Wien, leading the trustworthy cyber-physical systems (TrustCPS) group.
I am heading the Applied Statistics Research Unit (ASTAT) in the Institute of Statistics and Mathematical Methods in Economics at the TU Wien.
I am a postdoctoral researcher in automated reasoning and program analysis at TU Wien.
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.
I am a PhD student interested in probabilistic programming, almost-sure termination and spec-consistent AI.