Expertin
Univ-Prof.in Dr.in Agata Ciabattoni

Expertin des Monats
Nov. 2013
Interview mit Agata Ciabattoni

„Was benötigt wird, ist eine konkrete Hilfestellung um Arbeit und Familie (hauptsächlich Kinderbetreuung) zu kombinieren, und ich bin froh darüber, dass die österreichischen Universitäten erste Schritte in diese Richtung unternommen haben.“

Zum Interview

Expertise

  • Mathematik: Mathematical logic (proof theory, fuzzy logic)
  • Informatik: Logic in Computer Science

Verfügbar für

    Gender-Trainings
    Interviews
    Jury
    Kooperationen
    Mentoring
    Projektleitung
    Vortragstätigkeiten

Beruflich

Mittleres Management

Tätigkeitsbereiche:
  • Universität

Ausbildung

Universität (1993)
Informatik

Zusatzausbildung(en)
1996-2000 PhD in Computer Science (University of Milan). 2000-2002 Marie Curie Fellowship (contract nr. HPMF-CT-1999-00301) at the TU Wien 2002-2003 Post Doc positions at the TU Wien 2003- Charlotte-Buehler-Habilitation Scholarship (FWF)

Weitere Fachrichtungen, weitere Ausbildungen
Mathematical Logic

Sprachen

  • Italienisch
  • Deutsch
  • Englisch
  • Französisch
Mehr Details
  • Italienisch

    Schriftlich: Muttersprache / wie Muttersprache
    Konversation: Muttersprache / wie Muttersprache

  • Deutsch

    Schriftlich: Grundkenntnisse
    Konversation: Verhandlungssicher / Fließend

  • Englisch

    Schriftlich: Muttersprache / wie Muttersprache
    Konversation: Muttersprache / wie Muttersprache

  • Französisch

    Schriftlich: Muttersprache / wie Muttersprache
    Konversation: Gute Kenntnisse

Referenzen

Auszeichnungen / Preise

1. CNR (Italian Council of Research): Fellowship (notice n. 201.15.7 of 18/10/94) 2. Cassa di Risparmio di Cesena, Italy: Fellowship for graduate students. 1995/1996 3. Cost Fellowship (Action COST 15) 1998 4. EC Marie Curie Individual Fellowship Nr. HPMF-CT-1999-00301 5. FWF C. Buhler Habilitation Scholarship H191-N04 6. FWF START prize 2011

Publikationen

Book: Logica a informatica, McGraw-Hill, 1997 (with A.Asperti). In Italian. M. Baaz and A. Ciabattoni Proof theory of witnessed Goedel logic: a negative result. Journal of Logic and Computation, 2013 A. Ciabattoni and F. Montagna Proof theory for locally finite many-valued logics: semi-projective logics. Theoretical Computer Science 480: 26-42 (2013) A. Ciabattoni, D. Picado, T. Vetterlein and M. El-Zekey Formal approaches to rule-based systems in medicine: the case of CADIAG2, Journal of Approximate Reasoning 54(1): 132-148, 2013 A. Ciabattoni, N. Galatos and K. Terui Algebraic proof theory for substructural logics: cut-elimination and completions, Annals of Pure and Applied Logic, 163(3): 266-290, 2012 M. Baaz, A. Ciabattoni and N. Preining First-order satisfiability in Gödel logics: an NP-complete fragment, Theoretical Computer Science, 412: 6612-6623, 2011 A. Ciabattoni, N. Galatos and K. Terui MacNeille Completions of FL-algebras, Algebra Universalis 66(4): 405-420, 2011 A. Ciabattoni, P. Maffezioli and L. Spendier Hypersequent and Labelled Calculi for Intermediate Logics, Proceedings of TABLEAUX 2013 A. Ciabattoni, R. Ramanayake Structural extensions of display calculi: a general recipe, Proceedings of WOLLIC 2013 A. Ciabattoni, O. Lahav, L. Spendier and A. Zamansky Automated Support for the Investigation of Paraconsistent and Other Logics, Proceedings of the Symposium on Logical Foundations in Computer Science 2013, LFCS 2013