Sarah Tilscher

Sarah Tilscher, M.Sc., is a researcher at the Chair for Languages and Structures in Computer Science at the Technical University of Munich (TUM). She contributes to teaching tutorials for courses including Advanced Concepts of Programming Languages and Compiler Construction, and has supervised seminars on static analysis and programming paradigms.

Her research focuses on:

• Incremental and interactive static analysis using abstract interpretation
• Verification of fixpoint algorithms in Isabelle theorem prover
• Development of the Goblint static analyzer for concurrent C programs
• Formal methods for program correctness and verification

Her publications (11 recent works) predominantly explore static analysis techniques, abstract interpretation frameworks, and verification tools. Key themes include top-down solvers, weak relational domains, parser generators, correctness witnesses, and concurrency modeling, primarily applied to programming languages and compiler design.

She actively supervises student theses on topics including incremental static analysis, visualization of analysis results, and verification of fixpoint algorithms. Current opportunities include master's projects on verified top-down solvers and bachelor's projects on solver code generation.

As a core member of the Goblint project team, she develops static analysis tools for memory safety and termination verification, collaborating with TUM researchers and external partners.