My name is Maximilian Wuttke. I finished my Bachelor's thesis at the Programming Systems Lab. I also worked as a HiWi here. Currently, 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 theorem provers like Coq.