no image

M.Sc. Sarah Tilscher

Research Interests

  • Incremental and interactive static analysis by abstract interpretation
  • Verification of fix-point algorithms in Isabelle


  • Goblint - A static analyzer using abstract interpretation for analyzing multi-threaded C programs


  • Advanced Concepts of Programming Languages (tutorial): WiSe21, WiSe22
  • Compiler Construction (tutorial): SoSe22
  • The Tyranny of Types: Curse or Blessing (seminar): SoSe22