Anela Lolic

  • PhD student at TU Wien funded by a DOC fellowship
  • Wiedner Hauptstraße 8–10
  • 1040 Wien
  • Austria

Research Interests

  • (Structural) Proof Theory, Automated Deduction

Current Position


  • MSc in Computational Intelligence (TU Wien), master thesis: Herbrand sequents and the Skolem-free CERES method, October 2015
  • BSc in Computer Science (JKU Linz)


  1. Alexander Leitsch, Anela Lolic. Extraction of Expansion Trees. Journal of Automated Reasoning, 2018. DOI 10.1007/s10817-018-9453-9
  2. Matthias Baaz, Alexander Leitsch, Anela Lolic. A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem. In: Logical Foundations of Computer Science - International Symposium. LFCS 2018. Pages 55-71. Springer, Cham, 2018.
  3. Matthias Baaz, Anela Lolic. First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation. In: Dixon C., Finger M. (eds) Frontiers of Combining Systems. FroCoS 2017. Lecture Notes in Computer Science, vol 10483, pages 265-280. Springer, 2017.