308 reputation
bio website math.uni-bonn.de/people/…
location Bonn, Germany
age 30
visits member for 4 years, 11 months
seen yesterday
I am a PhD student at the Mathematical Institute of the University of Bonn. My PhD topic combines mathematical logic with computational linguistics: I work on the Naproche project, whose goal is to logically and linguistically analyse the language of mathematics using computational methods, in particular to develop a computer system that can check natural language proofs for logical correctness.

308 Reputation

This user has no recent positive reputation changes
MathOverflow 308 rep 213
Mathematics 125 rep 5

26 Votes Cast

all time   by type  
19 up 2 question
7 down 24 answer