|visits||member for||1 year, 7 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.
|bio||website||in.tum.de/~eberlm||visits||member for||1 year, 7 months|
|location||Munich, Germany||seen||Nov 22 '12 at 22:13|
0 Votes Cast
This user has not cast any votes