Agata Ciabattoni
Naissance | |
---|---|
Nationalité | |
Formation |
Université de Milan (doctorat) () Université de Bologne (maîtrise (en)) |
Activités |
A travaillé pour |
Université technique de Vienne (depuis ) |
---|---|
Directeur de thèse |
Daniele Mundici (d) |
Seite web | |
Distinction |
Prix Start () |
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
[modifier | modifier le code]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 | modifier le code]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 | modifier le code]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 | modifier le code]- (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 | modifier le code]- (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
[modifier | modifier le code]- Ressources relatives à la recherche :
- Page personnelle