My name is Maximilian Wuttke. I finished my Bachelor's thesis at the Programming Systems Lab with best grade. I also worked as a HiWi here. At the moment I am in the preparatory phase at Graduate School of Computer Science.
My main interests are (formalisations of) programming languages and program verification, especially with interactive theorem provers like Coq.
My work at the PS lab is focussed on the implementation and formal mechanisation of Turing machines. I am also working on making formal verification of Turing machines easier.
In my free time, I like mountain biking and drinking (Indian) tea.