286 reputation
13
bio website in.tum.de/~eberlm
location Munich, Germany
age 23
visits member for 1 year, 4 months
seen Jul 14 at 15:23

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