Marcos Cramerless info
|visits||member for||4 years|
|seen||Apr 16 at 14:35|
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.
|bio||website||math.uni-bonn.de/people/…||visits||member for||4 years|
|location||Bonn, Germany||seen||Apr 16 at 14:35|
26 Votes Cast
|all time||by type|