Tel_+49 681 302-2454
Address_Saarland Informatics Campus
Building E1 3
66123 Saarbrücken

Marcel Ullrich

About Me

Research Interests

  • program equivalence
  • metaprogramming
  • (neural-guided) synthesis
  • formal proof systems
  • programming language design and interaction

Research Projects

  • A MetaCoq plugin to generate induction principles for nested inductive types.
  • Ongoing: Automatic differentiation in a functional higher-order intermediate representation using partial evaluation
  • Ongoing: Formally verified translation validation in the presence of loops



  • Master's Thesis: Automatic Differentiation of Memory and Affine Loops in AnyDSL, Christopher Jung (2022)
  • Bachelor's Thesis: Teaching Program Semantics Interactively, Luise Puhl (2022, 2023)
  • 3x HiWi Positions: Interactive Web Interpreter Programmer for Programming 2 Lecture Book (2022, 2023)
  • If you are interested, take a look at our list of proposed topics or write me an e-mail

Lecturer's Assistant

Teaching Assistant

  • Artificial Intelligence (SS2021)
  • Grundzüge von Algorithmen und Datenstrukturen (WS2020/2021)
  • Systemarchitektur (SS2020)
  • Grundzüge der Theoretischen Informatik (WS2019/20)
  • Introduction to Computational Logic (SS2019)
  • Mathematik Vorkurs Dozent, Team, Organisator, Council (SS2019, SS2020, SS2021, SS2022)
  • Programmierung 1 (WS2018/19)


Journal Papers

  • Generating induction principles and subterm relations for inductive types using MetaCoq
    Liesnikov, B., Ullrich, M. and Forster, Y.
    CoRR, abs/2006.15135, 2020. [url] [bib]

BSc Thesis

  • Generating Induction Principles for Nested Inductive Types in MetaCoq
    Ullrich, M.
    B.Sc. Thesis, Saarland University, 2020. [pdf] [bib]