Agata Ciabattoni is an Italian mathematical logician specializing in non-classical logic. She is a full professor at the Institute of Logic and Computation of the Faculty of Informatics[1] at the Vienna University of Technology (TU Wien), and a co-chair of the Vienna Center for Logic and Algorithms of TU Wien (VCLA).[2][3][4]

Education and career

Ciabattoni is originally from Ripatransone. She studied computer science at the University of Bologna,[2] and completed her Ph.D. in 2000 at the University of Milan. Her dissertation, Proof-theory in many-valued logics, was supervised by Daniele Mundici.[5]

She moved to Vienna in 2000 with the support of an EU Marie Curie Fellowship, and In 2007, she earned her habilitation at TU Wien.[2] She remains affiliated with TU Wien, as a professor in the faculty of informatics.[6] She also serves as the Collegium Logicum lecture series chair for the Kurt Gödel Society.[7]

Contributions

One of Ciabattoni's projects at TU Wien involves using mathematical logic to formalize the ethical reasoning in the Vedas, a body of Indian sacred texts.[8]

Recognition

In 2011, Ciabattoni won the Start-Preis of the Austrian Science Fund, the only woman to win the prize that year.[2][9]

References

  1. ^ "Faculty of Informatics, TU Wien". 13 January 2017. Retrieved 20 April 2020.
  2. ^ a b c d "Eine logische Klasse für sich", Der Standard, 28 June 2011
  3. ^ "Computerwissenschafter der TU Wien wollen internationale Marke werden". Der Standard. 25 January 2012. Retrieved 20 April 2020.
  4. ^ "Weltrekord: Größtes menschliches Sortiernetzwerk in Wien". BMK Infothek: Bundesministerium für Klimaschutz, Umwelt, Energie, Mobilität, Innovation und Technologie. 25 September 2019. Retrieved 20 April 2020.
  5. ^ Agata Ciabattoni at the Mathematics Genealogy Project
  6. ^ Theory and Logic Group Staff, Faculty of Informatics, TU Wien, retrieved 10 December 2018
  7. ^ Organization, Kurt Gödel Society, retrieved 10 December 2018
  8. ^ Indian Sacred Texts and the Logic of Computer Ethics, TU Wien, 29 January 2018, retrieved 10 December 2018
  9. ^ START-Preis 2011 für Agata Ciabattoni, TU Wien, retrieved 10 December 2018

External links

Authority control databases
Categories