|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|
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.
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