Agata Ciabattoni

from Wikipedia, the free encyclopedia

Agata Ciabattoni (* 1971 in Ripatransone ) is an Italian computer scientist and professor at the Institute of Logic and Computation at the Technical University of Vienna . Her research focus is on non-classical logics .

Life

Agata Ciabattoni, born in 1971 in Ripatransone , Italy , completed her master's degree in 1994 at the University of Bologna and obtained her PhD in 2000 from the University of Milan . She then received a Marie Curie grant from the European program for research funding and moved to Vienna as part of this, where she worked as a research assistant at the Vienna University of Technology until 2006. In 2007 habilitated them on the selfsame university but continued to work as a research assistant. In 2011 she received the START Prize for excellent research. Since 2012 she has been a professor at the Institute of Logic and Computation at TU Wien. Ciabattoni is a member of the board of directors of the Kurt Gödel Society and contributes to the drafting of the Collegium Logicum annual report. She is married and has one child.

research

Her research area encompasses mathematical logic in the broadest sense. She is currently working on the formalization of norm-based, moral systems. Agata Ciabattoni is in a leading position responsible for projects that are supported by various large institutions, such as the FWF , WWTF or FFG . Below is a selection of their current and completed research projects:

  • 2011 - 2017: Non classical proofs: Theory, Applications and Tools ( START-prize ); funded by the FWF
  • 2019 - 2020: Norm-based reasoning: from legal and moral traditions to AI systems; funded by the Volkswagen Foundation
  • 2017-2022: WWFT Project; Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts; funded by the WWTF

Publications (selection)

In January 2020 Ciabattoni had an h-index of 22 and was cited 1544 times (Google Scholar). The following is a selection of her most cited works:

  • A Ciabattoni, N Galatos, K Terui (2008) From axioms to analytic rules in nonclassical logics, 3rd Annual IEEE Symposium on Logic in Computer Science
  • M Baaz, A Ciabattoni, CG Fermüller (2003) Hypersequent calculi for Gödel logics — a survey, Journal of Logic and Computation
  • A Ciabattoni, N Galatos, K Terui (2012) Algebraic proof theory for substructural logics: cut-elimination and completions, Annals of Pure and Applied Logic

Awards

● FWF START Prize 2011

Individual evidence

  1. ↑ Agata Ciabattoni. Accessed January 21, 2020 .
  2. ↑ Research portal | TU Vienna. In: TISS - TU Wien Information Systems & Services. TU Wien, accessed on January 21, 2020 .
  3. ↑ Research portal | TU Vienna. In: TISS - TU Wien Information Systems & Services. TU Wien, accessed on January 21, 2020 .
  4. ↑ Research portal | TU Vienna. In: TISS - TU Wien Information Systems & Services. TU Wien, accessed on January 21, 2020 .
personal data
SURNAME Ciabattoni, Agata
BRIEF DESCRIPTION Italian computer scientist
DATE OF BIRTH 1971
PLACE OF BIRTH Ripatransone