Anela Lolic

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

  • Email: anela [at]

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. Matthias Baaz, Anela Lolic. Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic. In: Gilles Barthe, Geoff Sutcliffe, and Margus Veanes, editors, LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 57 of EPiC Series in Computing, pages 95–110. EasyChair, 2018.
  2. Alexander Leitsch, Anela Lolic. Extraction of Expansion Trees. Journal of Automated Reasoning, 2018. DOI 10.1007/s10817-018-9453-9
  3. 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.
  4. 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.