467
reputation
2
9
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
5
questions
~901
people reached
-
Munich, Germany
-
Member for 3 years, 7 months
-
11 profile views
-
Last seen Mar 16 at 20:03
Communities (12)
Top network posts
Badges (11)
Gold
—
Silver
2
Rarest
Bronze
9
Rarest
-
Mar 17 '18
-
Mar 23 '18
-
Sep 9 '16
