409 reputation
3 14

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.

Top Tags (11)

Score 2
Posts 5
Posts % 56
Score 2
Posts 5
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top Posts (9) All Questions Answers | Votes Newest

Badges (17)

Gold
Silver 3

Rarest

Bronze 14

Rarest