Agata Ciabattoni

Agata Ciabattoni Životopis

Narození	1971 Ripatranson
Státní příslušnost	italština
Výcvik	University of Bologna ( magisterský ) University of Milan ( doctorate ) (2000)
Činnosti	Počítačový vědec , matematik

Jiná informace

Pracoval pro	Vídeňská technická univerzita (od2001)
Dozorce	Daniele Mundici ( d )
webová stránka	www.logic.at/staff/agata
Rozdíl	Počáteční cena (2011)

Agata Ciabattoni (* 1971) je italská matematická logička se specializací na neklasickou logiku . Je profesorkou na Institutu logiky a výpočtů na Technické univerzitě ve Vídni .

Životopis

Agata Ciabattoni pochází z Ripatransonu . Vystudovala informatiku na univerzitě v Bologni a doktorát ukončila v roce 2000 na univerzitě v Miláně . Na jeho práci nazvanou Proof-theory in many- rare logics vedl Daniele Mundici.

V roce 2000 se přestěhovala do Vídně s podporou stipendia Marie Curie z Evropské unie a v roce 2007 se habilitovala na Technické univerzitě ve Vídni . Zůstává přidružená k TU Wien, jako profesorka na Fakultě informatiky, od roku 2012 na Ústavu logiky a výpočtů . Působí také jako prezidentka přednáškového cyklu Collegium Logicum pro společnost Kurta Gödela, výzkumnou společnost, která propaguje aktivity v oblasti logiky a historie matematiky související s prací tohoto matematika narozeného v Rakousku.

Příspěvky

Jedním z projektů Agaty Ciabattoni na Technické univerzitě ve Vídni je použití matematické logiky k formalizaci etického uvažování ve Vedách , souboru indických posvátných textů. Jedná se o projekt „Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts“ (2017–2022) financovaný Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWFT) (vídeňský fond pro vědu, výzkum a technologii). V období 2019–2020 pracuje na projektu „Norm-based uvažování: od právních a morálních tradic po systémy AI“ financovaného Nadací Volkswagen .

Ocenění a uznání

V roce 2011 získala Agata Ciabattoni startovní cenu od Rakouského vědeckého fondu, která byla v tomto roce jedinou ženskou vítězkou ceny. Tato cena umožnila financovat výzkumný program „Neklasické důkazy: Teorie, aplikace a nástroje“ (2011–2017).

Publikace

(it) Logica a informatica , McGraw-Hill, 1997 (s A. Aspertim).
A. Ciabattoni, N. Galatos, K. Terui (2008) „Od axiomů k analytickým pravidlům v neklasické logice“, 3. výroční sympozium IEEE o logice v informatice .
M. Baaz, A. Ciabattoni, CG Fermüller (2003) „Hypersequent calculi for Gödel logics - an survey“, Journal of Logic and Computation .
A. Ciabattoni, N. Galatos, K. Terui (2012) „Algebraická teorie důkazu pro substrukturální logiku: eliminace a dokončení“, Annals of Pure and Applied Logic .

Reference

( fr ) Tento článek je částečně nebo zcela převzat z článku anglické Wikipedie s názvem „ Agata Ciabattoni “ ( viz seznam autorů ) .