Manuel Eberl
Using Haskell since 2011
I am not currently seeking employment
Living in Munich, Germany
About Me
Computer Science PhD / maths BSc student at TU München. Proving theorems with Isabelle/HOL. Feminist, highly mediocre accordion player, anglophile. Addicted to interactive theorem proving and Earl Grey