Skip to main content
Manuel Eberl's user avatar
Manuel Eberl's user avatar
Manuel Eberl's user avatar
Manuel Eberl
  • Member for 11 years, 3 months
  • Last seen more than 2 years ago
Stats
1,231
reputation
0
reached
0
answers
0
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.
6
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.