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[edit]
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[edit]
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[edit]
In 2011, Ciabattoni won the Start-Preis of the Austrian Science Fund, the only woman to win the prize that year.[2][9]
References[edit]
- ^ "Faculty of Informatics, TU Wien". 13 January 2017. Retrieved 20 April 2020.
- ^ a b c d "Eine logische Klasse für sich", Der Standard, 28 June 2011
- ^ "Computerwissenschafter der TU Wien wollen internationale Marke werden". Der Standard. 25 January 2012. Retrieved 20 April 2020.
- ^ "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.
- ^ Agata Ciabattoni at the Mathematics Genealogy Project
- ^ Theory and Logic Group Staff, Faculty of Informatics, TU Wien, retrieved 10 December 2018
- ^ Organization, Kurt Gödel Society, retrieved 10 December 2018
- ^ Indian Sacred Texts and the Logic of Computer Ethics, TU Wien, 29 January 2018, retrieved 10 December 2018
- ^ START-Preis 2011 für Agata Ciabattoni, TU Wien, retrieved 10 December 2018
External links[edit]
- Home page
- Agata Ciabattoni publications indexed by Google Scholar
- Use dmy dates from June 2022
- Articles with short description
- Short description with empty Wikidata description
- AC with 0 elements
- Year of birth missing (living people)
- Living people
- Austrian mathematicians
- Women mathematicians
- Mathematical logicians
- Women logicians
- University of Bologna alumni
- University of Milan alumni
- Academics of TU Wien