Michael Schwarz

I am a postdoctoral researcher in Helmut Seidl’s group, from which I graduated with a Dr. rer. nat. (summa cum laude) in late Spring 2025. During my PhD, I was also a member of the DFG Research Training Group ConVeY (Continuous Verification of Cyber-Physical Systems).

I am interested in Static Analysis and related techniques and currently work within the field of Sound Static Analysis by Abstract Interpretation. There, we have, e.g., proposed techniques for efficient abstract interpretation of multi-threaded programs, worked on increasing usability by making static analysis incremental, and designed novel analyses for sometimes overlooked features of the C programming language.

I contribute to and currently co-maintain (with Simmo Saan and Karoliine Holter from UTartu) the static analysis framework Goblint for multi-threaded C programs, which serves as the testbed for many of our ideas.

Prior to my PhD, I received a B.Sc. from TUM in 2016, and an M.Sc. from TUM in 2019. During my Master’s, I spent one term on exchange at the University of Waterloo and interned at NTNU as a software engineer for one term.