Computer Science postdoc at TU München, Esperantist, addicted to formal proofs/interactive theorem proving and Earl Grey. Some knowledge of Isabelle/HOL, Java, C/C++, Haskell, Standard ML, theoretical computer science, finite automata, cryptography, and basic mathematics (i.e. logic, algebra, geometry, number theory, analysis). ©

I`m a full stack web developer working with PHP and Javascript. Lately I build a lot of single-page apps with React/Redux and backend RESTful APIs with Laravel. I also eat a lot of peanut butter. ©