Agata Ciabattoni - Agata Ciabattoni

Agata Ciabattoni je Ital matematický logik specializující se v neklasická logika. Je řádnou profesorkou na Ústavu logiky a výpočtu Fakulty informatiky[1] na Vídeňská technická univerzita (TU Wien) a spolupředsedkyně Vídeňské centrum logiky a algoritmů TU Wien (VCLA).[2][3][4]

Vzdělání a kariéra

Ciabattoni je původem z Ripatranson. Vystudovala informatiku na Boloňská univerzita,[2] a dokončila doktorát v roce 2000 na University of Milan. Její disertační práce, Důkazová teorie v logice mnoha hodnot, byl pod dohledem Daniele Mundici.[5]

V roce 2000 se přestěhovala do Vídně s podporou EU Společenstvo Marie Curie V roce 2007 si ji vysloužila habilitace na TU Wien.[2]Zůstává přidružená k TU Wien jako profesorka na fakultě informatiky.[6]Působí také jako židle přednáškové série Collegium Logicum pro Společnost Kurta Gödela.[7]

Příspěvky

Jeden z projektů Ciabattoni na TU Wien zahrnuje použití matematické logiky k formalizaci etický uvažování v Védy, skupina indických posvátných textů.[8]

Uznání

V roce 2011 Ciabattoni vyhrál Start-Preis rakouského vědeckého fondu, jediná žena, která v tomto roce získala cenu.[2][9]

Reference

  1. ^ „Fakulta informatiky TU Wien“. 13. ledna 2017. Citováno 20. dubna 2020.
  2. ^ A b C d „Eine logische Klasse für sich“, Der Standard, 28. června 2011
  3. ^ „Computerwissenschafter der TU Wien wollen internationalation Marke werden“. Der Standard. 25. ledna 2012. Citováno 20. dubna 2020.
  4. ^ „Weltrekord: Größtes menschliches Sortiernetzwerk ve Vídni“. BMK Infothek: Bundesministerium für Klimaschutz, Umwelt, Energie, Mobilität, Innovation und Technologie. 25. září 2019. Citováno 20. dubna 2020.
  5. ^ Agata Ciabattoni na Matematický genealogický projekt
  6. ^ Zaměstnanci teorie a logické skupiny, Fakulta informatiky, TU Wien, vyvoláno 2018-12-10
  7. ^ Organizace, Společnost Kurta Gödela, vyvoláno 2018-12-10
  8. ^ Indické posvátné texty a logika počítačové etiky, TU Wien, 29. ledna 2018, vyvoláno 2018-12-10
  9. ^ START-Preis 2011 pro Agata Ciabattoni, =TU Wien, vyvoláno 2018-12-10

externí odkazy