286 reputation
bio website in.tum.de/~eberlm
location Munich, Germany
age 23
visits member for 1 year, 7 months
seen Aug 29 at 19:21

Computer science/maths 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)

This user has not asked any questions

0 Votes Cast

This user has not cast any votes