Marie Curie Postdoctoral Fellow at TU Wien


Contact information:


Institute for Discrete Mathematics and Geometry

Wiedner Hauptstr. 8, 1040 Vienna
Room: DA 05 F22
Phone: +43 (1) 58801 - 104 265

Email:  annaz [at] logic [dot] at

Research interests:

  • Logic: Logic for AI, Knowledge Representation, Automated Reasoning, Proof Theory.

  • Computational Linguistics: Type-logical Grammars, Formal Semantics of Natural Languages.