User:Mwuttke
Appearance
My name is Maximilian Wuttke.
I am a Bachelor of Computer Science student at the Saarland University.
My interests are in functional programming, type theory and computational logic.
My programming languages are Java, C++, Standard ML and Coq.
Currently I work on formalizing Multi Tape Turing Machines in Coq.