Selected publications

Selected projects

  • 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

  • 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

Additional qualifications

  • Extensive experience in organizing international conferences and schools, including the "Vienna Summer of Logic 2014" (http://vsl2014.at/ – 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)


Contact

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

Testimonials

  1. Read what our members say about AcademiaNet.

No more excuses!

  1. Please download the brochure "No more excuses" and read more about female experts in Europe, and about AcademiaNet.

Similar profiles

  1. Prof. Dr. Astrid Beckmann

    Mathematics and statistics, Physical sciencesMathematics education

  2. Prof. Dr. Susanne Albers

    Information and Communication Technologies (ICTs)Efficient algorithms

  3. Dr. Maria Anisimova

    Biological and related sciences , Education, Information and Communication Technologies (ICTs), Mathematics and statisticsBioinformatics, computational genomics and modeling molecular evolution

  4. Prof. Dr. Christine Alewell

    Environment, Mathematics and statisticsbiogeochemistry, isotope geochemistry, soil science