Discrete Mathematics and Geometry

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