• Project Assistant, Dipl.-Ing.
• TU Wien
• Institute for Logic and Computation
• Favoritenstraße 9–11
• 1040 Wien
• Austria

---

• Room: HA 03 09
• Email: sanja.pavlovic [at] tuwien.ac.at

---

Research Interests

Description logics, rule-based languages (and combinations of the two), semantic web, complexity theory.  

---

Current Position

• I am a fully funded PhD student in the Doctoral College Logical Methods in Computer Science since December 2018 under the supervision of Assistant Prof. Dr. Magdalena Ortiz and Dr. Mantas Šimkus.

---

Education

• Dipl.-Ing. (equivalent to MSc) in Logic and Computation (TU Wien)
• BSc in Software and Information Engineering (TU Wien)

---

Publications

1. Pavlović S., Tompits H. (2018) A Tableau Calculus for a Multi-modal Logic of Dishonesty. In: Ghidini C., Magnini B., Passerini A., Traverso P. (eds) AI*IA 2018: Advances in Artificial Intelligence. AI*IA 2018. Lecture Notes in Computer Science, vol 11298, pages 238-251, Springer, Cham

---

Awards

• I am a two-time recipient of the Siemens Excellence Grant awarded annually to outstanding female students by the Faculty of Informatics at TU Wien in cooperation with Siemens Austria.