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.
I’m interested in formal logic, theory of programming languages, and security. I also enjoy proving theorems in the interactive proof assistant Coq.
| [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 ] |
I wrote my Master’s thesis under supervision of Deepak Garg.
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:
Cross country mountain-biking:
I like simplicity and efficiency. This applies to this web site but also to biking. I like mountain biking because I love forests and mountains and because I dislike cities and roads. Moreover, I don’t care about competitions; I occasionally compete against myself, since only I myself am my “fairest” opponent. Thus, I don’t see any reasons buying these super-expensive racing bikes. Instead, hard-tail cross-country bikes are my favourite kinds of bikes. I also ride on technical trails occasionally. I prefer to do exercise on my own.
Cooking:
I’m vegan and enjoy cooking my own plant-based food; “my own” here implies that I don’t care about “authenticity”. Even though I only have a small kitchen, I do like to experiment occasionally. I especially like whole grain spelt bread and self-made pizza without cheese. Sustainability and health is more important to me than taste.