296 reputation
1 3

Manuel Eberl

Computer Science PhD/Maths BSc student at TU München, anglophile, addicted to formal proofs/interactive theorem proving and Earl Grey. Some knowledge of Isabelle/HOL, Java, C/C++, Haskell, ML, theoretical computer science, finite automata, cryptography, and basic mathematics (i.e. logic, algebra, geometry, number theory, analysis)

Top Tags (11)

Score 7
Posts 2
Posts % 29
Score 4
Posts 1
Score 4
Posts 1
Score 4
Posts 1
Score 2
Posts 1
Score 2
Posts 1

Top Posts (7) All Questions Answers | Votes Newest

Badges (4)

Gold
Silver 1

Rarest

Bronze 3

Rarest