Агата Чиабаттони
Агата Чиабаттони — итальянский логик-математик, специализирующийся на неклассической логике . Она является профессором Института логики и вычислений факультета информатики. [1] в Венском технологическом университете (TU Wien) и сопредседателем Венского центра логики и алгоритмов Венского технического университета (VCLA). [2] [3] [4]
Образование и карьера
[ редактировать ]Чиабаттони родом из Рипатрансона . Она изучала информатику в Болонском университете . [2] и защитила докторскую диссертацию. в 2000 году в Миланском университете . Ее диссертацию «Теория доказательств в многозначной логике » курировал Даниэле Мундичи. [5]
Она переехала в Вену в 2000 году при поддержке стипендии Марии Кюри ЕС , а в 2007 году получила степень магистра в Венском техническом университете. [2] Она по-прежнему сотрудничает с Венским техническим университетом в качестве профессора факультета информатики. [6] Она также является председателем серии лекций Collegium Logicum Общества Курта Гёделя . [7]
Взносы
[ редактировать ]Один из проектов Чиабаттони в Венском техническом университете предполагает использование математической логики для формализации этических рассуждений в Ведах , своде индийских священных текстов. [8]
Признание
[ редактировать ]В 2011 году Чиабаттони выиграла премию Start-Preis Австрийского научного фонда , став единственной женщиной, получившей эту премию в том году. [2] [9]
Ссылки
[ редактировать ]- ^ «Факультет информатики Венского технического университета» . 13 января 2017 года . Проверено 20 апреля 2020 г.
- ^ Перейти обратно: а б с д «Собственный логический класс» , Der Standard , 28 июня 2011 г.
- ^ «Учёные-компьютерщики Венского технического университета хотят стать международным брендом» . Стандарт . 25 января 2012 года . Проверено 20 апреля 2020 г.
- ^ «Мировой рекорд: крупнейшая сеть сортировки людей в Вене» . BMK Infothek: Федеральное министерство защиты климата, окружающей среды, энергетики, мобильности, инноваций и технологий . 25 сентября 2019 года . Проверено 20 апреля 2020 г.
- ^ Агата Чиабаттони в проекте «Математическая генеалогия»
- ^ Сотрудники группы теории и логики , факультет информатики Венского технического университета , данные получены 10 декабря 2018 г.
- ^ Организация , Общество Курта Гёделя , дата обращения 10 декабря 2018 г.
- ^ Индийские священные тексты и логика компьютерной этики , TU Wien , 29 января 2018 г. , дата обращения 10 декабря 2018 г.
- ^ Премия START 2011 для Агаты Чиабаттони , Венский технический университет , получено 10 декабря 2018 г.
Внешние ссылки
[ редактировать ]- Домашняя страница
- Публикации Агаты Чиабаттони, проиндексированные Google Scholar
| Международный | |
|---|---|
| Национальный | |
| академики | |
