Stats
477
reputation
0
reached
0
answers
0
questions
Loading…
About
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).
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
-
Yearling
× 2Nov 13, 2019
1
bronze badge
-
AutobiographerAug 23, 2016
Posts
This user hasn’t posted yet.