Agata Ciabattoni

Agata Ciabattoni

Professor of Non-Classical Logics in Computer Science

TU Vienna

Agata Ciabattoni is a full professor of non-classical logics in computer science. She is an expert in proof theory for non-classical logics and their applications in various fields. Since 2017, she has been working on deontic logic, funded by the research project Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts. Among other things, she has been investigating proof theory for deontic logic, its applications in AI, connections to legal reasoning, and formalisation of the deontic reasoning of the Mı̄māmsā school of Indian philosophy.

  • Proof Theory
  • Deontic Logic
  • Non-Classical Logics
  • PhD in Computer Science, 2000

    University of Milan

  • Degree in Computer Science, 1994

    University of Bologna