I am an undergraduate computer engineering student doing a research internship at TU Wien.
Summer Internship Student
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
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 the Trustworthy Cyber-Physical Systems Research Group.
PostDoc
I am a postdoctoral researcher in automated reasoning and program analysis at TU Wien.
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
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.
I am a graduate student interested in the analysis of probabilistic programs, formal verification and (distributed) embedded systems.
Master Student
I am a PhD student in the Trustworthy Cyber-Physical Systems (TrustCPS) Group.
I am a PhD student under the supervision of Laura Kovács and Ezio Bartocci.
