bio | website | math.uni-bonn.de/people/… |
---|---|---|

location | Bonn, Germany | |

age | 31 | |

visits | member for | 5 years, 4 months |

seen | Jul 14 at 12:14 | |

stats | profile views | 194 |

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.

MathOverflow | 313 rep | 213 | |

Mathematics | 125 rep | 5 |

This user has no active bounties

# 26 Votes Cast

all time | by type | ||||
---|---|---|---|---|---|

19 | up | 2 | question | ||

7 | down | 24 | answer |