{"id":26,"date":"2022-09-02T08:28:20","date_gmt":"2022-09-02T08:28:20","guid":{"rendered":"https:\/\/www.anelalolic.com\/?page_id=26"},"modified":"2026-03-30T13:07:42","modified_gmt":"2026-03-30T13:07:42","slug":"about","status":"publish","type":"page","link":"https:\/\/www.anelalolic.com\/index.php\/about\/","title":{"rendered":"About"},"content":{"rendered":"\n<div class=\"wp-block-group has-background\" style=\"background-color:#ffffffb3\"><div class=\"wp-block-group__inner-container is-layout-flow wp-block-group-is-layout-flow\">\n<p>I am an Elise-Richter Fellow at the <a href=\"https:\/\/www.logic.at\/\" target=\"_blank\" rel=\"noreferrer noopener\">Theory and Logic<\/a> group at the Institute of Logic and Computation, TU Wien. My research focuses on logic and computational proof theory. <\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Degrees<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>PhD in Computer Science<\/strong> (Logic) &#8211; May 2020, TU Wien,<br>Thesis: <em>Automated Proof Analysis by CERES<\/em>,<br>Advisors: Alexander Leitsch and Matthias Baaz.<\/li>\n\n\n\n<li><strong>MSc in Logic and Computation<\/strong> &#8211; Oct. 2015, TU Wien,<br>Thesis: <em>Herbrand Sequents and the Skolem-free CERES Method<\/em>,<br>Advisor: Alexander Leitsch.<\/li>\n\n\n\n<li><strong>BSc in Computer Science<\/strong> &#8211; Aug. 2013, JKU Linz,<br>Thesis: <em>Detecting Mistakes in Music Performances: An Automatic Music Tutor<\/em>,<br>Advisors: Andreas Arzt and Gerhard Widmer.<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Affiliations<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>TU Wien, APART-MINT Fellowship (2024-2025), and Elise-Richter Fellowship (since 2025).<\/li>\n\n\n\n<li>Kurt G\u00f6del Society, Senior Postdoc, 2022 &#8211; 2024.<\/li>\n\n\n\n<li>TU Wien, Univ.Ass. (2020-2022), Proj.Ass. (2015-2020).<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Grants and fellowships<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Skolemization and Equality (2025-2028), FWF grant RIC1287724 (422 148.00 EUR).<\/li>\n\n\n\n<li>Interpolation in Presence of Induction (2024-2025), <a href=\"https:\/\/stipendien.oeaw.ac.at\/en\/fellowships\/apart-mint\" target=\"_blank\" rel=\"noreferrer noopener\">APART-MINT Fellowship<\/a> of the Austrian Academy of Sciences (90 296.00 EUR).<\/li>\n\n\n\n<li><em><a href=\"https:\/\/www.anelalolic.com\/index.php\/research\/pandaforest\/\" target=\"_blank\" rel=\"noreferrer noopener\">Proof analysis and automated deduction for recursive structures<\/a><\/em> (2022-2025), FWF grant I-5848 (231 113.30 EUR).<\/li>\n\n\n\n<li><em>Globally Sound Proofs: New Frontiers of Analyticity<\/em> (2019), <a href=\"https:\/\/stipendien.oeaw.ac.at\/en\/fellowships\/loreal-austria\" target=\"_blank\" rel=\"noreferrer noopener\">L&#8217;OR\u00c9AL Austria PostDoc Fellowship<\/a> of the Austrian Academy of Sciences (25 000.00 EUR).<\/li>\n\n\n\n<li><em>Automated Proof Analysis with CERES<\/em> (2018-2019), <a href=\"https:\/\/stipendien.oeaw.ac.at\/en\/stipendien\/doc\" target=\"_blank\" rel=\"noreferrer noopener\">DOC Fellowship<\/a> of the Austrian Academy of Sciences (76 000.00 EUR).<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Awards<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li><a href=\"https:\/\/www.silfs.it\/prizes\/silfs-prize-for-women-in-logic-and-the-philosophy-of-science\/\" target=\"_blank\" rel=\"noreferrer noopener\">SILFS Prize 2020<\/a> for Women in Logic and the Philosophy of Science. Awarded by the Italian Society for Logic and the Philosophy of Science to promote and support the contribution of underrepresented groups to the fields of logic and the philosophy of science.<\/li>\n\n\n\n<li><a href=\"http:\/\/erwinwenzlpreis.at\/\" target=\"_blank\" rel=\"noreferrer noopener\">Erwin Wenzl &#8216;Anerkennungspreis&#8217; 2016<\/a>. Awarded by the Erwin Wenzl Preis Verein to the most outstanding Master Thesis with connection to Upper Austria.<\/li>\n\n\n\n<li><a href=\"https:\/\/informatics.tuwien.ac.at\/epilog\/distinguished-young-alumn\/\" target=\"_blank\" rel=\"noreferrer noopener\">Distinguished Young Alumna Award 2015<\/a>. Awarded by the Faculty of Informatics at TU Wien to the most outstanding master student for their exceptional achievement in research.<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Selected talks<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li><em>Efficient interpolation beyond cut-free proofs: Admissible cuts and optimized extraction<\/em>, <strong>ICTAC 2025<\/strong>, Marrakech, Morocco, November 2025.<\/li>\n\n\n\n<li><em>A Proof Theory for Henkin Quantifiers<\/em>, Special Session on Proof Theory at the <strong>Logic Colloquium 2025<\/strong>, Vienna, Austria, July 2025.<\/li>\n\n\n\n<li><em>Henkin Quantifiers, <\/em>Research Seminar at Christian Retor\u00e9&#8217;s group at <strong>LIRMM<\/strong>, Montpellier, France, June 2025.<\/li>\n\n\n\n<li><em>Interpolation Properties of Proofs with Cuts<\/em>, <strong>LAP 2024<\/strong>, Dubrovnik, Croatia, September 2024.<\/li>\n\n\n\n<li><em>Epsilon Calculus and LK<\/em>, Proof Representations: From Theory to Applications, <strong>Dagstuhl Seminar<\/strong>, Schloss Dagstuhl, Germany, August 2024.<\/li>\n\n\n\n<li><em>Analytic Calculi for Macros of Connectives and Quantifiers<\/em>, TU Wien <strong>Theory and Logic Group Seminar<\/strong>, Vienna, Austria, June 2024.<\/li>\n\n\n\n<li><em>Herbrand\u2019s Theorem in Inductive Proofs<\/em>, <strong>LPAR 2024<\/strong>, Mauritius, May 2024.<\/li>\n\n\n\n<li><em>On Proof Schemata and Primitive Recursive Arithmetic<\/em>, <strong>LPAR 2024<\/strong>, Mauritius, May 2024.<\/li>\n\n\n\n<li><em>Effective Skolemization<\/em>, <strong>WoLLIC 2023<\/strong>, Halifax, Canada, July 2023.<\/li>\n\n\n\n<li><em>Proof Analysis with CERES<\/em>, <strong>Celebrating 90 Years of Godel&#8217;s Incompleteness Theorems<\/strong>, N\u00fcrtlingen, July 2021.<\/li>\n\n\n\n<li><em>An Introduction to Proof Analysis<\/em>, <strong>DBAI Research Seminar<\/strong>, Vienna, Austria, December 2020.<\/li>\n\n\n\n<li><em>Herbrand Sequent Extraction<\/em>, <strong>Proof Theory for Automated Deduction, Automated Deduction for Proof Theory<\/strong>, Funchal, Madeira, October 2019.<\/li>\n\n\n\n<li><em>Note on Globally Sound Analytic Calculi for Quantifier Macros<\/em>, <strong>WoLLIC 2019<\/strong>, Utrecht, The Netherlands July 2019.<\/li>\n\n\n\n<li><em>Does G\u00f6del Logic Interpolate?,<\/em> <strong>AsubL Take6<\/strong>, Cagliari, Italy, June 2018.<\/li>\n\n\n\n<li><em>First-Order Interpolation of Non-Classical Logics Derived from Propositional Interpolation<\/em>, <strong>FroCoS 2017<\/strong>, Brasilia, September 2017.<\/li>\n\n\n\n<li><em>Automated Proof Analysis and the method CERES<\/em>, <strong>International Summer School for Proof Theory in First-Order Logic<\/strong>, Funchal, August 2017.<\/li>\n\n\n\n<li><em>A Sequent-Based Translation into the Epsilon Format<\/em>, <strong>Second FISP Meeting<\/strong>, Paris, June 2017.<\/li>\n\n\n\n<li><em>Expansion Trees from Non-Normalized Proofs with CERES<\/em>, <strong>Proof Theory: Herbrand\u2019s Theorem Revisited<\/strong>, Vienna, May 2017.<\/li>\n\n\n\n<li><em>Propositional Interpolation Induces First-Order Interpolation for Finitely-Valued Logics<\/em>, <strong>Helmut Veith Memorial Workshop<\/strong>, Obergurgl, January 2017.<\/li>\n\n\n\n<li><em>Extraction of Expansion Trees Using CERES<\/em>, The Fine Structure of Formal Proof Systems and their Computational Interpretations, <strong>FISP Kick-Off Meeting<\/strong>, Innsbruck, November 2016.<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Selected research visits<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>School of Historical and Philosophical Inquiry, University of Queensland, Brisbane, Australia  (host: Guillermo Badia), February-March 2026<\/li>\n\n\n\n<li>Czech Academy of Sciences Institute of Computer Science, Prague, Czech Republic (host: David Cerna), March 2023 and January 2024.<\/li>\n\n\n\n<li>Laboratory of Informatics of Grenoble, Universit\u00e9 Grenoble Alpes, Grenoble, France (host Nicolas Peltier), October 2018 and April 2024.<\/li>\n\n\n\n<li>Laboratoire J.A. Dieudonn\u00e9, Universit\u00e9 C\u00f4te d\u2019Azur, Nice, France (host Mai Gehrke), January 2017.<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Publications<\/h2>\n\n\n\n<p>See <a href=\"https:\/\/www.anelalolic.com\/index.php\/research\/\">Research<\/a>.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Teaching<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Data Base Systems (lecturer), TU Wien, 2020-2022.<\/li>\n\n\n\n<li>Data Modelling (lecturer), TU Wien, 2020-2022.<\/li>\n\n\n\n<li>Formal Methods in Computer Science (exercise classes), TU Wien, 2020-2022.<\/li>\n\n\n\n<li>Theoretical Computer Science (exercise classes), TU Wien, 2018.<\/li>\n\n\n\n<li>Algebra and Discrete Mathematics (exercise classes), TU Wien, 2016.<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Organized events<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>Women in Logic Workshop 2025<\/strong> (co-chair), Birmingham, UK (2025).<\/li>\n\n\n\n<li><strong>Logic Colloquium 2025<\/strong> (co-chair), Vienna, Austria (2025).<\/li>\n\n\n\n<li><strong>VCLA International Student Awards<\/strong> (co-chair), Vienna, Austria (2024).<\/li>\n\n\n\n<li><strong>IJCAI-ECAI 2022<\/strong> (student volunteer chair), Vienna, Austria (2022).<\/li>\n\n\n\n<li><strong>3rd Workshop on Proof Theory and its Applications<\/strong> and the <strong>3rd International Winter School on Proof Theory<\/strong> (co-chair), Funchal, Madeira (2021).<\/li>\n\n\n\n<li><strong>Kurt G\u00f6del&#8217;s Legacy: Does Future lie in the Past?<\/strong> Vienna, Austria (2019).<\/li>\n\n\n\n<li><strong>Proof Theory for Automated Deduction, Automated Deduction for Proof Theory<\/strong>, Funchal, Madeira (2019).<\/li>\n\n\n\n<li><strong>The International Summer School for Proof Theory in First-Order Logic<\/strong> (chair), Funchal, Madeira (2017).<\/li>\n\n\n\n<li><strong>Twelfth-Sixteenth International Tbilisi Summer School in Logic and Languag<\/strong>e, Tbilisi, Georgia (2016-2022).<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Short lectures \/ tutorials<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li><em>Cut-Elimination<\/em>. Twelfth International Tbilisi Summer School in Logic and Language. Tbilisi, September 2016.<\/li>\n<\/ul>\n<\/div><\/div>\n","protected":false},"excerpt":{"rendered":"<p>I am an Elise-Richter Fellow at the Theory and Logic group at the Institute of Logic and Computation, TU Wien. My research focuses on logic and computational proof theory. Degrees Affiliations Grants and fellowships Awards Selected talks Selected research visits Publications See Research. Teaching Organized events Short lectures \/ tutorials<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":1,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-26","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.anelalolic.com\/index.php\/wp-json\/wp\/v2\/pages\/26","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.anelalolic.com\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.anelalolic.com\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.anelalolic.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.anelalolic.com\/index.php\/wp-json\/wp\/v2\/comments?post=26"}],"version-history":[{"count":61,"href":"https:\/\/www.anelalolic.com\/index.php\/wp-json\/wp\/v2\/pages\/26\/revisions"}],"predecessor-version":[{"id":491,"href":"https:\/\/www.anelalolic.com\/index.php\/wp-json\/wp\/v2\/pages\/26\/revisions\/491"}],"wp:attachment":[{"href":"https:\/\/www.anelalolic.com\/index.php\/wp-json\/wp\/v2\/media?parent=26"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}