From Rosetta Code

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.