Wikipédia

Agata Ciabattoni

mathématicienne et informaticienne italienne

Agata Ciabattoni (née en 1971) est une logicienne mathématique italienne, spécialisée dans la logique non classique. Elle est professeure à l'Institut de logique et de calcul de l'université technique de Vienne.

Agata Ciabattoni
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Membre de
Logicians Liberation League (d)Voir et modifier les données sur Wikidata
Directeur de thèse
Daniele Mundici (d)Voir et modifier les données sur Wikidata
Site web
Distinction
Prix Start ()Voir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

Biographie

modifier

Agata Ciabattoni est originaire de Ripatransone. Elle a étudié l'informatique à l'université de Bologne[1], et a terminé son doctorat en 2000 à l'université de Milan. Sa thèse, intitulée Proof-theory in many-précieux logics, a été dirigée par Daniele Mundici[2].

Elle a déménagé à Vienne en 2000 avec le soutien d'une bourse Marie Curie de l'Union européenne, et en 2007, elle a obtenu son habilitation à l'université technique de Vienne[1]. Elle reste affiliée à TU Wien, en tant que professeure à la faculté d'informatique[3], depuis 2012 à l'Institute of Logic and Computation. Elle sert également de président de la série de conférences Collegium Logicum pour la Société Kurt Gödel, société d'études qui promeut des activités en logique et en histoire des mathématiques, en lien avec les travaux de ce mathématicien d'origine autrichienne[4].

Contributions

modifier

L'un des projets d'Agata Ciabattoni à l'université technique de Vienne consiste à utiliser la logique mathématique pour formaliser le raisonnement éthique dans les Vedas, un corps de textes sacrés indiens[5]. Il s'agit du projet « Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts » (2017–2022) financé par le Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWFT) (le fonds viennois pour la science, la recherche et la technologie). Sur la période 2019-2020, elle travaille sur le projet « Norm-based reasoning:from legal and moral traditions to AI systems »financé par la fondation Volkswagen.

Prix et distinctions

modifier

En 2011, Agata Ciabattoni a remporté le prix Start du Fonds autrichien pour la science, la seule femme lauréate du prix cette année-là[1],[6]. Ce prix a permis de financer le programme de recherche « Non classical proofs: Theory, Applications and Tools » (2011-2017).

Publications

modifier
  • (it) Logica a informatica, McGraw-Hill, 1997 (avec A. Asperti).
  • A. Ciabattoni, N. Galatos, K. Terui (2008) « From axioms to analytic rules in nonclassical logics », 3rd Annual IEEE Symposium on Logic in Computer Science.
  • M. Baaz, A. Ciabattoni, C.G. Fermüller (2003) « Hypersequent calculi for Gödel logics—a survey », Journal of Logic and Computation.
  • A. Ciabattoni, N. Galatos, K. Terui (2012) « Algebraic proof theory for substructural logics: cut-elimination and completions », Annals of Pure and Applied Logic.

Références

modifier
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Agata Ciabattoni » (voir la liste des auteurs).
  1. ↑ a b et c (de) « Eine logische Klasse für sich », Der Standard,‎ (lire en ligne)
  2. ↑ (en) « Agata Ciabattoni », sur le site du Mathematics Genealogy Project
  3. ↑ (en) « Theory and Logic Group Staff », sur Faculty of Informatics, TU Wien (consulté le )
  4. ↑ (en) « Organization », sur Kurt Gödel Society (consulté le )
  5. ↑ (en) « Indian Sacred Texts and the Logic of Computer Ethics », sur TU Wien, (consulté le )
  6. ↑ (de) « START-Preis 2011 für Agata Ciabattoni », sur =TU Wien]consulté le=2018-12-10

Liens externes

modifier
Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Agata_Ciabattoni&oldid=203552853 ».