Home 🌵

Hi, I’m Maxi. I’m a PhD student under supervision of Deepak Garg. Before joining MPI-SWS, I had been a Bachelor student at Saarland University.

Research Interests

I’m interested in formal logic, theory of programming languages, and security. I also enjoy proving theorems in the interactive proof assistant Coq.


Conference publications
[1] Yannick Forster, Fabian Kunze, Gert Smolka, and Maximilian Wuttke. A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value λ-Calculus. In Liron Cohen and Cezary Kaliszyk, editors, 12th International Conference on Interactive Theorem Proving (ITP 2021), volume 193 of Leibniz International Proceedings in Informatics (LIPIcs), pages 19:1--19:20, Dagstuhl, Germany, 2021. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. [ bib | DOI | http ]
[2] Yannick Forster, Fabian Kunze, and Maximilian Wuttke. Verified Programming of Turing Machines in Coq. In 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20–21, 2020, New York, NY, USA, 2020. ACM. [ bib ]
[3] Yannick Forster, Dominique Larchey-Wendling, Andrej Dudenhefner, Edith Heiter, Dominik Kirst, Fabian Kunze, Gert Smolka, Simon Spies, Dominik Wehr, and Maximilian Wuttke. A Coq library of undecidable problems. In The Sixth International Workshop on Coq for Programming Languages (CoqPL 2020)., 2020. [ bib | http ]

Master’s thesis

I wrote my Master’s thesis under supervision of Deepak Garg.

Bachelor’s thesis

Before joining MPI, I joined Saarland University to study computer science. I wrote my Bachelor’s thesis at the lab lead by Prof. Smolka.



I have several hobbies: