81 reputation
bio website in.tum.de/~eberlm
location Munich, Germany
age 24
visits member for 2 years, 4 months
seen Nov 22 '12 at 22:13

Undergraduate computer science student with interests in formal logic and automatic and interactive theorem proving. Also likely to become an undergraduate maths student soon.

This user has not asked any questions

0 Votes Cast

This user has not cast any votes