Institute of
Discrete Mathematics and Geometry

Anela Lolic

Computational Logic Group
Institute of Discrete Mathematics and Geometry
TU Wien, Wiedner Hauptstraße 8–10, 1040 Wien
Room Number: DA 08 E02
E-Mail: anela [at] logic [dot] at

Current position

I am PhD student under supervision of Alexander Leitsch, Matthias Baaz is my co-advisor. I am also PhD student in the Doctoral College Logical Methods in Computer Science, Vienna University of Technology.

Main areas of research

Mathematical logic and theoretical computer science. In particular, proof theory (classical and non-standard logic, cut-elimination, branching quantifiers) and automated deduction.


Publicity Chair of the Kurt Gödel Society, Vienna


Erwin Wenzl Anerkennungspreis category: graduates (diploma thesis), Linz 2016
Distinguished Young Alumna-Award of the Faculty of Informatics at the Vienna University of Technology, Vienna 2015


Propositional interpolation induces first-order interpolation for finitely-valued logics, Helmut Veith Memorial Workshop, January 31 - February 2, 2017, Obergurgl, Austria
Extraction of expansion trees using CERES, The Fine Structure of Formal Proof Systems and their Computational Interpretations, Kick-Off Meeting, November 15 - 17, 2016, Innsbruck, Austria
Proof Theory at Twelfth International Tbilisi Summer School in Logic and Language, September 12 - 16, 2016, Tbilisi, Georgia


Winter term 2016: (104.263) Algebra and Discrete Mathematics