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: Applications of Logic in Computer Science, Automated Reasoning, Non-classical Logics, Proof Theory.

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