Contact

Tel	_	+49 681 302-2454
Mail	_
Room	_	429
Address	_	Saarland Informatics Campus Building E1 3 66123 Saarbrücken Germany
Github	_	NeuralCoder3
ORCID	_	0009-0006-0127-9623

Marcel Ullrich

About Me

• Curriculum Vitae

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

Teaching

Advisor

• 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

• Programming 1 (WS2023/24)
• Programming 2 (SS2023)
• Seminar: Build an 8-bit Computer from Scratch (SS2022)
• Programming 2 (SS2022)

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)

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 = { },
   }