Jakob Tepe

Jakob Tepe

PhD Student

I am a PhD student at the Institute of Theoretical Computer Science in Braunschweig since October 2023. 

I am interested in program synthesis, especially enumerative program synthesis. Currently, I am the main developer of the Syntax-Guided Synthesis (SyGuS) solver Merlin.

Jakob Tepe
Informatikzentrum, 3rd floor, office 344 (IZ 344)
0531 - 391 9521

Mail:
Jakob Tepe
Institut für Theoretische Informatik
Mühlenpfordtstr. 23
D-38106 Braunschweig Germany

Publications

  • Oriented Metrics for Bottom-Up Enumerative Synthesis - POPL 2026 (DOI, Video, PDF, Slides)

  • Realizability in Semantics-Guided Synthesis Done Eagerly - arXiv (DOI, PDF, Slides)

Teaching

  • Winter 2025: Program Analysis (organizer, tutor)
  • Summer 2025: SEP / Software Engineering Lab (supervisor), Team Project (organizer, tutor)
  • Winter 2024: Program Analysis Lab (supervisor)
  • Summer 2024: Introduction to Logic (tutor)
  • Winter 2023: Program Analysis (organizer, tutor), Seminar (organizer)