Agata Ciabattoni

Agata Ciabattoni Elämäkerta

Syntymä	1971 Ripatransoni
Kansalaisuus	italialainen
Koulutus	Bolognan yliopisto ( maisteri ) Milanon yliopisto ( tohtorin tutkinto ) (2000)
Toiminta	Tietotekniikka , matemaatikko

Muita tietoja

Työskenteli	Wienin teknillinen yliopisto (vuodesta 2003)2001)
Valvoja	Daniele Mundici ( d )
Verkkosivusto	www.logic.at/staff/agata
Ero	Aloitushinta (2011)

Agata Ciabattoni (s. 1971) on italialainen matemaattinen logiikka , joka on erikoistunut ei-klassiseen logiikkaan . Hän on professori Wienin teknillisen yliopiston logiikan ja laskennan instituutissa .

Elämäkerta

Agata Ciabattoni on kotoisin Ripatransonesta . Hän opiskeli tietojenkäsittelytietettä Bolognan yliopistossa ja valmistui tohtoriksi vuonna 2000 Milanon yliopistossa . Hänen väitöskirjaansa, jonka otsikko oli Proof-theory in many-precious logics , valvoi Daniele Mundici.

Hän muutti Wieniin vuonna 2000 tuella Marie Curie Fellowship Euroopan unionin ja vuonna 2007 hän sai hänen habilitation klo teknillisen korkeakoulun Wienin . Hän on edelleen sidoksissa TU Wieniin tietojenkäsittelytieteellisen tiedekunnan professorina vuodesta 2012 lähtien logiikan ja laskennan instituutissa . Hän toimii myös puheenjohtajana Collegium Logicum -luentosarjassa Kurt Gödel Society -yritykselle, joka edistää tämän itävaltalaisen syntyperän matemaatikon työhön liittyvää logiikan ja matematiikan historian toimintaa .

Avustukset

Yksi Agata Ciabattoni projekteista on tekninen Wienin yliopistossa on käyttää matemaattista logiikkaa virallistaa eettinen päättely on Vedas , elin Intian pyhiä tekstejä. Tämä on Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWFT) (Wienin tiede-, tutkimus- ja teknologiarahasto) rahoittama projekti "Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts" (2017–2022). Vuosina 2019--2020 hän työskentelee Volkswagen- säätiön rahoittamassa normipohjaisessa päättelyssä: oikeudellisista ja moraalisista perinteistä tekoälyjärjestelmiin .

Palkinnot ja tunnustaminen

Vuonna 2011 Agata Ciabattoni voitti Start Award -palkinnon Itävallan tiederahastosta, joka oli ainoa naispuolinen palkinnon voittaja. Tämän palkinnon avulla oli mahdollista rahoittaa tutkimusohjelma "Ei klassiset todisteet: teoria, sovellukset ja työkalut" (2011-2017).

Julkaisut

(it) Logica a informatica , McGraw-Hill, 1997 (A. Asperti).
A. Ciabattoni, N. Galatos, K. Terui (2008) "Aksioomista analyyttisiin sääntöihin ei-klassisessa logiikassa", 3. vuosittainen IEEE-symposium logiikasta tietojenkäsittelytieteen tiedekunnassa .
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) “Algebrallinen todistusteoria alarakennelogiikalle: leikkaus-eliminointi ja täydennykset”, Annals of Pure and Applied Logic .

Viitteet

( fr ) Tämä artikkeli on osittain tai kokonaan otettu englanninkielisestä Wikipedia- artikkelista " Agata Ciabattoni " ( katso luettelo tekijöistä ) .