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 derived from Propositional Interpolation. FroCos 2017. To appear.
  2. Alexander Leitsch and Anela Lolic. Extraction of Expansion Trees. Submitted.
  3. Matthias Baaz, Alexander Leitsch and Anela Lolic. A Sequent-Calculus based formulation of the Extended First Epsilon Theorem. Submitted.