Contact
Tel | +49 681 302-2454 | |
Fax | +49 681 302-3065 | |
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]