Niklas Mück

Contact details: can be found here

I'm a first year PhD student co-advised by Derek Dreyer and Deepak Garg at the Max Planck Institute for Software Systems in Saarbrücken, Germany.
Currently, I'm working on robust compilation to capability machines in the semantic multi-language framework DimSum.

I obtained my Bachelor's degree from Saarland University.

Photo of Niklas Mueck

Publications

The Kleene-Post and Post’s Theorem in the Calculus of Inductive Constructions

Yannick Forster, Dominik Kirst, Niklas Mück

CSL 2024, Naples, Italy, 2024. 		(pdf)
(doi)
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions

Yannick Forster, Dominik Kirst, Niklas Mück

APLAS 2023, Taipei, Taiwan, 2023. 		(pdf)
(doi)

Extended Abstracts

Synthetic Versions of the Kleene-Post and Post's Theorem
(pdf)

Dominik Kirst, Niklas Mück, Yannick Forster

Types 2022, Nantes, France, 2022.

Teaching

Winter 2023/24 Semantics
Teaching Assistant
Winter 2023/24 Mathematics Preparatory Course
Main Organizer
Summer 2023 Introduction to Computational Logic
Student TA
Summer 2022 Big Data Engineering
Student TA
Winter 2021/22 Programming 1
Student TA
Winter 2021/22 Mathematics Preparatory Course
Lecturer, Coach, Organizer
Winter 2020/21 Programming 1
Student TA
Winter 2020/21 Mathematics Preparatory Course
Student TA