Manuel Eberl's user avatar
Manuel Eberl's user avatar
Manuel Eberl's user avatar
Manuel Eberl
  • Member for 10 years, 11 months
  • Last seen more than a month ago
Stats
783
reputation
19k
reached
11
answers
20
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.
3
silver badges
11
bronze badges
4
Score
7
Posts
23
Posts %
2
Score
5
Posts
16
Posts %
2
Score
4
Posts
13
Posts %
1
Score
3
Posts
10
Posts %
1
Score
3
Posts
10
Posts %
0
Score
4
Posts
13
Posts %
Top posts
View all questions and answers