Agata Ciabattoni

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. "Eine logische Klasse für sich", Der Standard, June 28, 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 2018-12-10
  7. Organization, Kurt Gödel Society, retrieved 2018-12-10
  8. Indian Sacred Texts and the Logic of Computer Ethics, TU Wien, January 29, 2018, retrieved 2018-12-10
  9. START-Preis 2011 für Agata Ciabattoni, =TU Wien, retrieved 2018-12-10
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.