Marcos Cramer
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.
1
answer
8
questions
~15k
people reached
 Bonn, Germany
 math.unibonn.de/people/…
 Member for 6 years, 1 month
 206 profile views
 Last seen Apr 29 at 22:08
Badges (18)
Gold
1
Rarest

Silver
3
Rarest

Bronze
14
Rarest
