Studying Computer Science and Mathematics for Education at FAU, focussing towards theoretical computer science and formalizing stuff with Coq.