709
reputation
2
5
10

Manuel Eberl

Computer Science PhD student 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
answers
10
questions
~13k
people reached

Top tags (24)

Score 0
Posts 3
Posts % 25
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1

Top posts (12)

View all questions and answers

Badges (17)

Gold

2

Rarest

Silver

5

Rarest

Bronze

10

Rarest