Contact

Tel_+49 681 302-2454
Fax_+49 681 302-3065
Mail_
Room_429
Address_Saarland Informatics Campus
Building E1 3
66123 Saarbrücken
Germany

Marcel Ullrich

About Me

Research Interests

  • program analysis
  • metaprogramming
  • formal proof systems

Projects

  • A MetaCoq plugin to generate induction principles for nested inductive types.

Teaching

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 (SS2019, SS2020, SS2021)
  • Programmierung 1 (WS2018/19)

Publications

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]