Агата Чиабаттони - Agata Ciabattoni

Агата Чиабаттони итальянец математик-логик специализируясь на неклассическая логика. Она является профессором Института логики и вычислений факультета информатики.[1] на Венский технологический университет (TU Wien) и сопредседатель Венский центр логики и алгоритмов TU Wien (VCLA).[2][3][4]

Образование и карьера

Чиабаттони родом из Рипатрансон. Она изучала информатику в Болонский университет,[2] и защитила кандидатскую диссертацию. в 2000 г. Миланский университет. Ее диссертация, Теория доказательств в многозначных логикахРуководил Даниэле Мундичи.[5]

Она переехала в Вену в 2000 году при поддержке ЕС. Стипендия Марии Кюри, а в 2007 году она заработала абилитация в TU Wien.[2]Она по-прежнему работает в TU Wien в качестве профессора факультета информатики.[6]Она также является председателем серии лекций Collegium Logicum для Общество Курта Гёделя.[7]

Взносы

Один из проектов Чиабаттони в TU Wien предполагает использование математической логики для формализации этический рассуждения в Веды, собрание индийских священных текстов.[8]

Признание

В 2011 году Чиабаттони выиграл Start-Preis Австрийского научного фонда, единственная женщина, получившая премию в том году.[2][9]

Рекомендации

  1. ^ "Факультет информатики, Венский технический университет". 13 января 2017 г.. Получено 20 апреля 2020.
  2. ^ а б c d "Eine logische Klasse für sich", Der Standard, 28 июня 2011 г.
  3. ^ "Computerwissenschafter der TU Wien wollen internationale Marke werden". Der Standard. 25 января 2012 г.. Получено 20 апреля 2020.
  4. ^ "Weltrekord: Größtes menschliches Sortiernetzwerk в Вене". BMK Infothek: Bundesministerium für Klimaschutz, Umwelt, Energie, Mobilität, Innovation und Technologie. 25 сентября 2019 г.. Получено 20 апреля 2020.
  5. ^ Агата Чиабаттони на Проект "Математическая генеалогия"
  6. ^ Персонал группы теории и логики, Факультет информатики, Венский технический университет, получено 2018-12-10
  7. ^ Организация, Общество Курта Гёделя, получено 2018-12-10
  8. ^ Индийские священные тексты и логика компьютерной этики, TU Wien, 29 января 2018, получено 2018-12-10
  9. ^ START-Preis 2011 для Агаты Чиабаттони, =TU Wien, получено 2018-12-10

внешняя ссылка