Stefan Maus

Stefan Maus is affiliated with the Department of Computer Science at the University of Freiburg, where he focuses on formal verification of industrial systems, particularly the Microsoft Hypervisor's Assembler components. His research is part of the Verisoft Project, emphasizing robust verification of high-performance code segments.

He holds a PhD from the University of Freiburg (2011) and a Diplom from Universität Saarbrücken (2005). His work bridges theoretical formal methods with practical applications in software verification, leveraging tools like Isabelle and automated theorem provers.

Key contributions include the Vx86 framework for x86 Assembler simulation and integration of software model checkers into Isabelle. His research has been presented at conferences such as AMAST, LPAR, and POPL.

Maus participates in academic conferences and contributes to teaching in theoretical computer science and software engineering, reflecting his dual role in research and education.