Agata Ciabattoni
![une illustration sous licence libre serait bienvenue](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f7/Defaut_2.svg/langfr-260px-Defaut_2.svg.png)
Naissance | ![]() Ripatransone ![]() |
---|---|
Nationalité | italienne ![]() |
Formation | Université de Milan (doctorat) () Université de Bologne (maîtrise (en)) ![]() |
Activités | Informaticienne, mathématicienne ![]() |
A travaillé pour | Université technique de Vienne (depuis ) ![]() |
---|---|
Directeur de thèse | Daniele Mundici (d) ![]() |
Site web | www.logic.at/staff/agata ![]() |
Distinction | Prix Start () ![]() |
modifier - modifier le code - modifier Wikidata
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.
Biographie
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
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
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
- (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
- ↑ a b et c (de) « Eine logische Klasse für sich », Der Standard, (lire en ligne)
- ↑ (en) « Agata Ciabattoni », sur le site du Mathematics Genealogy Project
- ↑ (en) « Theory and Logic Group Staff », sur Faculty of Informatics, TU Wien (consulté le )
- ↑ (en) « Organization », sur Kurt Gödel Society (consulté le )
- ↑ (en) « Indian Sacred Texts and the Logic of Computer Ethics », sur TU Wien, (consulté le )
- ↑ (de) « START-Preis 2011 für Agata Ciabattoni », sur =TU Wien]consulté le=2018-12-10
Liens externes
- Notices d'autorité
:
- VIAF
- GND
- Italie
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- Google Scholar
- Mathematics Genealogy Project
- Page personnelle
Portail des mathématiques
Portail de l’Italie