no image

M.Sc. Sarah Tilscher

Research Interests

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

Projects

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

Teaching

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