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

• Curriculum Vitae

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]
  

  @article{DBLP:journals/corr/abs-2006-15135,
     author    = {Bohdan Liesnikov and Marcel Ullrich and Yannick Forster},
     title     = {Generating induction principles and subterm relations for inductive
                  types using MetaCoq},
     journal   = {CoRR},
     volume    = {abs/2006.15135},
     year      = {2020},
     url       = {https://arxiv.org/abs/2006.15135},
     eprinttype = {arXiv},
     eprint    = {2006.15135},
     timestamp = {Sat, 23 Jan 2021 01:12:25 +0100},
     biburl    = {https://dblp.org/rec/journals/corr/abs-2006-15135.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org}
   }

BSc Thesis

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

  @BACHELORSTHESIS{Ullrich:2020:BSc,
       author = { Marcel Ullrich},
       title = { {G}enerating {I}nduction {P}rinciples for {N}ested {I}nductive {T}ypes in {M}eta{C}oq },
       school = {Saarland University},
       year = { 2020 },
       month = {June},
       webpdf  = {https://www.ps.uni-saarland.de/~ullrich/bachelor/thesis.pdf},
       abstract = { },
   }