Teaching
- Computational Semantics (graduate course)
- Semantik II (graduate course on linguistic semantics and categorial grammar)
- Semantik I (undergraduate course on linguistic semantics)
- Logik und formale Grundlagen (undergraduate course on
first-order logic)
- Computational Linguistics (undergraduate course) - Co-instructor
- Verbmobil (graduate course) - Co-instructor