Agata Ciabattoni

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Monkbot (talk | contribs) at 03:24, 15 December 2020 (Task 18 (cosmetic): eval 8 templates: del empty params (11×); hyphenate params (4×); del |url-status= (3×);). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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, 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{{citation}}: CS1 maint: extra punctuation (link)

External links

Retrieved from "https://en.wikipedia.org/w/index.php?title=Agata_Ciabattoni&oldid=994324319"