Manuel Eberl
Stats
203
reputation
6k
reached
1
answers
1
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).

This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges

Top tags (6)

Score 0
Posts 2
Posts % 100
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (2)