user avatar
user avatar
user avatar
Manuel Eberl
  • Member for 9 years, 3 months
  • Last seen more than a week ago
Stats
1,109
reputation
19k
reached
3
answers
13
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).

2
gold badges
8
silver badges
14
bronze badges
0
Score
6
Posts
38
Posts %
0
Score
3
Posts
19
Posts %
0
Score
3
Posts
19
Posts %
0
Score
2
Posts
12
Posts %
0
Score
2
Posts
12
Posts %
0
Score
2
Posts
12
Posts %
Top posts
View all questions and answers