LogiCS
  • About
  • Groups
    • Algorithms and Complexity
    • Databases and Artificial Intelligence
    • Formal Methods in Systems Engineering
    • Knowledge-Based Systems
    • Security and Privacy
    • Theory and Logic
  • PhD
    • Doctoral Program (FWF) Logical Methods in Computer Science
    • Doctoral Program MSCA Cofund LogiCS@TUWien
  • Master’s
    • Master in Logic and Computation
  • VCLA
    • Vienna Center for Logic and Algorithms
  • Talks/News
  • Partners
    • Faculty of Informatics
    • Cyberphysical Systems Group
    • Computer Languages Group
    • Computational Logic Group
    • Kurt Gödel Society
    • Logic in Austria
    • National Research Network RiSE
  • Contact
  • Search

Agata Ciabattoni

Professor at the Institute of Computer Languages
  • Received a highly prestigious START prize for her project “Non classical proofs: Theory, Applications and Tools” in 2011
  • Executive board member of the Kurt Gödel Society and Collegium Logicum chair
  • Member of the Advisory board of the Vienna Center for Logic and Algorithms VCLA
  • Member of the Wolfgang Pauli Institute WPI Vienna

Homepage
Publications

Research Interests
non-classical logics in computer science, proof theory

Data Protection Statement
Helmut Veith Georg Gottlob
Scroll to top