Marcel Moosbrugger

I'm Marcel, a computer scientist and research engineer based in Vienna. I work on formal methods, probabilistic programming, and making software safer through automated verification and tool building. I have taught university courses from bachelor to PhD levels, delivered two TEDx talks on AI, and worked as a public speaking coach.

I have experience as a full-stack developer and core contributor to an open-source CMS, visiting researcher positions focused on provably correct training and verification, and I hold a PhD in computer science.