Agata Ciabattoni
Agata Ciabattoni is an Italian mathematical logician specializing in non-classical logic. She works in the Institute of Logic and Computation at TU Wien.[1]
Education and career
Ciabattoni is originally from Ripatransone. She studied computer science at the University of Bologna,[1] 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.[2]
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.[1] She remains affiliated with TU Wien, as a professor in the faculty of informatics.[3] She also serves as the Collegium Logicum lecture series chair for the Kurt Gödel Society.[4]
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.[5]
Recognition
In 2011, Ciabattoni won the Start-Preis of the Austrian Science Fund, the only woman to win the prize that year.[1][6]
References
- ^ a b c d "Eine logische Klasse für sich", Der Standard, June 28, 2011
- ^ Agata Ciabattoni at the Mathematics Genealogy Project
- ^ Theory and Logic Group Staff, Faculty of Informatics, TU Wien, retrieved 2018-12-10
- ^ Organization, Kurt Gödel Society, retrieved 2018-12-10
- ^ Indian Sacred Texts and the Logic of Computer Ethics, TU Wien, January 29, 2018, retrieved 2018-12-10
- ^ START-Preis 2011 für Agata Ciabattoni, =TU Wien, retrieved 2018-12-10
{{citation}}
: CS1 maint: extra punctuation (link)
External links
- Home page
- Agata Ciabattoni publications indexed by Google Scholar