Anela Lolic

  • Project Assistant, MSc
  • TU Wien
  • Institut für Diskrete Mathematik und Geometrie 104
  • 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. Matthias Baaz and 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.
  2. Matthias Baaz, Alexander Leitsch and Anela Lolic. A Sequent-Calculus based formulation of the Extended First Epsilon Theorem. To appear in LFCS 2018.
  3. Alexander Leitsch and Anela Lolic. Extraction of Expansion Trees. Submitted.