Michael Schwarz

I am a PhD candidate in Helmut Seidl’s group and an alumnus of the DFG Research Training Group ConVeY (Continuous Verification of Cyber-Physical Systems). Having submitted my dissertation in late 2024, I currently expect to graduate some time in late Spring 2025.

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.

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.