Selected publications

Selected projects

  • Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts WWTF, "Mathematics and ... Call 2016 " (with Elisa Freschi -- Austrian Academy of Science). May 2017- May 2021 (Amount: 628.000 euro)

  • TICAMORE: Translating and dIscovering CAlculi for MOdal and RElated logics Transnational Funding FWF-ANR, (with N. Olivetti and D. Galmiche -- France), February 2017-January 2020 (Total Amount: 630.000 euro)

  • Non classical proofs: Theory, Applications and Tools, funded by FWF (Austrian Science Fund), START prize, 2011 – 2017

  • EC-IRSES (4 Years), Marie Curie Action: International Research Staff Exchange Scheme (IRSES), FP7-PEOPLE-2012-IRSES, GetFUN Generalizing Truth-Functionality (16 Partners, 8 Countries), Coordinator for the TU Wien site, 2013 – 2016

  • FWF Doctoral College Logical Methods in Computer Science , 15 PhD positions. Convenors: M. Baaz, A. Biere, R. Bloem, A. Ciabattoni, U. Egly, T. Eiter, C.G. Fermueller, R. Grosu, A. Leitsch, M. Ortiz, R. Pichler, S. Szeider, H. Tompits, H. Veith, G. Weissenbacher, 2014 – 2017

  • Fuzzy Logic: from Mathematics to Medical Applications, funded by WWTF (Vienna Science and Technology Fund), 2008 – 2012

  • Semantic Characterization of Cut-Elimination, funded by FWF (Austrian Science Fund), 2006 – 2009

  • The Realm of Cut Elimination, bilateral project OEAD Austria-France, headed by A. Ciabattoni (for the Austrian side) and D. Miller (for the French side), 2007 – 2008

  • Generating Analytic Calculi for Non Classical Logics, funded by FWF (Austrian Science Fund), Charlotte-Buehler-Habilitation Scholarship, 2003 – 2005

  • Proof theory of first-order fuzzy logics, EC Marie Curie Individual Fellowship, 2000 – 2002

Membership in scientific bodies/juries

  • Co-chair of the Vienna Center for Logic and Algorithms

  • Executive board member of the Kurt Gödel Society

  • Executive board member of the ERCIM Working Group on Many-Valued Logics

  • Referee and/or panel member of: the Irish Research Council for Science Engineering and Technology (2011, 2013), European Commission (call Future and Emerging Technologies Open Scheme and Marie Curie COFUND post-doctoral mobility programme), 2013, Austrian Agency for International Mobility and Cooperation in Education, Science and Research (2011), Netherlands Organisation for Scientific Research (NWO), 2014 and MIUR (Italian Ministry for Education, Research and University).

  • Member of search committees for a new Professor Position (Berufungskommission) @TU Wien in Algorithms (2014) and in Security (2014)

  • Member of habilitation committee (Habilitationskommission)

  • Steering Commitee member of the international conference Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), since 2013

  • Steering Commitee member of the Doctoral Programme Mathematical Logic in Computer Science at the Vienna University of Technology, since 2014

Media coverage



Additional qualifications

  • Extensive experience in organizing international conferences and schools, including the "Vienna Summer of Logic 2014" ( – the largest event in the history of logic with 2.000 participants), and the following large-scale events: "Horizons of Truth: Goedel Centenary 2006", "European Summer School in Logic, Language and Information ESSLLI 2003", "Computer Science Logic CSL'03" and "Logic Colloquium 2001".

  • Organizing Committee Chairperson of the lecture series Collegium Logicum (K. Gödel Society, Vienna)

Soft Skills/Other activities and achievements

Other activities and achievements/family

  • Married, one child (*2007)


You can only see the contact information of the academics in the database if you are a registered user of AcademiaNet.
Please register here


  1. Read what our members say about AcademiaNet.

Follow us

Similar profiles

  1. Prof. Dr. Zeynep Akata

    Mathematics and statistics, Computer Vision and Machine Learning

  2. Prof. Dr. Elisabeth André

    Information and Communication Technologies (ICTs), Human-computer interaction

  3. Dr. Annette Baudisch

    Biological and related sciences, Mathematics and statistics, Evolutionary biodemography

  4. Dr. Maria Anisimova

    Biological and related sciences, Education, Information and Communication Technologies (ICTs), Mathematics and statistics, Bioinformatics, Computational genomics and modeling Molecular evolution

Academia Net