Sanja Pavlović

  • 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]

Research Interests

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

Current Position


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


  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


  • 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.