Marie Curie Postdoctoral Fellow at TU Wien


Contact information:


Institute for Computer Languages
Favoritenstrasse 12, 1040 Vienna

Room: DA 05 F22
Phone: +43 (1) 58801 - 104 265

Email:  annaz [at] logic [dot] at

Update: I joined the Information Systems Department at the University of Haifa .

I am looking for motivated graduate students to work on logical foundations of information systems. The projects are related to knowledge representation, formal methods for handling inconsistent information, non-classical logics and more. Please send an email for further details.

Research interests:

  • Logical Foundations of Information Systems

  • Knowledge Representation

  • Reasoning under Uncertainty

  • Proof Theory



Recent activities: