Biography: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
- ↑ "Faculty of Informatics, TU Wien". 13 January 2017. https://informatics.tuwien.ac.at/.
- ↑ 2.0 2.1 2.2 2.3 "Eine logische Klasse für sich", Der Standard, 28 June 2011, https://derstandard.at/1308679891809/Eine-logische-Klasse-fuer-sich
- ↑ "Computerwissenschafter der TU Wien wollen internationale Marke werden". Der Standard. 25 January 2012. https://www.derstandard.at/story/1326503675233/computerwissenschafter-der-tu-wien-wollen-internationale-marke-werden.
- ↑ "Weltrekord: Größtes menschliches Sortiernetzwerk in Wien". 25 September 2019. https://infothek.bmvit.gv.at/weltrekord-groesstes-menschliches-sortiernetzwerk-wien-ada-vcla/.
- ↑ Agata Ciabattoni at the Mathematics Genealogy Project
- ↑ Theory and Logic Group Staff, Faculty of Informatics, TU Wien, https://www.logic.at/staff, retrieved 10 December 2018
- ↑ Organization, Kurt Gödel Society, https://kgs.logic.at/organization, retrieved 10 December 2018
- ↑ Indian Sacred Texts and the Logic of Computer Ethics, TU Wien, 29 January 2018, https://www.tuwien.ac.at/en/news/news_detail/article/125568/, retrieved 10 December 2018
- ↑ START-Preis 2011 für Agata Ciabattoni, TU Wien, http://www.informatik.tuwien.ac.at/aktuelles/510, retrieved 10 December 2018
External links
- Home page
- Agata Ciabattoni publications indexed by Google Scholar
 |  |
