Niklas Mück

Niklas Mück is a PhD student at the Max Planck Institute for Software Systems in Saarbrücken, Germany, co-advised by Derek Dreyer and Deepak Garg. His research focuses on robust compilation techniques and formal verification within the semantic multi-language framework DimSum. He holds a Bachelor's degree from Saarland University.

Education:

• Bachelor's degree in Computer Science, Saarland University

Research Interests:

His work integrates formal methods and programming language theory to ensure correctness in complex systems. Key areas include:
- Compilation to capability machines
- Theoretical foundations of type systems (Calculus of Inductive Constructions)
- Semantic analysis for property preservation.

Teaching Contributions:

• Teaching Assistant for courses like Pearls of Functional Programming (2025), Semantics (2023/24), and Mathematics Preparatory Courses (2020–2023)
• Main Organizer for Introduction to Computational Logic (2023)

Research Trends in Publications:

His publications emphasize bridging abstract theory (e.g., Kleene-Post theorems) with practical compiler design, leveraging semantic frameworks for rigorous guarantees. Recent work explores computability and reducibility in formal systems.

Labs/Teams: Active contributor to the DimSum framework development team.