stringtranslate.com

Agata Ciabattoni

Agata Ciabattoni es una lógica matemática italiana especializada en lógica no clásica . Es profesora titular en el Instituto de Lógica y Computación de la Facultad de Informática [1] de la Universidad Tecnológica de Viena (TU Wien) y copresidenta del Centro de Viena para la Lógica y los Algoritmos de la TU Wien (VCLA). [2] [3] [4]

Educación y carrera

Ciabattoni es originaria de Ripatransone . Estudió informática en la Universidad de Bolonia [2] y completó su doctorado en 2000 en la Universidad de Milán . Su tesis, Proof-theory in poly-valued logics , fue supervisada por Daniele Mundici [5] .

Se mudó a Viena en 2000 con el apoyo de una beca Marie Curie de la UE y en 2007 obtuvo su habilitación en la TU Wien. [2] Sigue afiliada a la TU Wien como profesora en la facultad de informática. [6] También se desempeña como presidenta de la serie de conferencias Collegium Logicum para la Sociedad Kurt Gödel . [7]

Contribuciones

Uno de los proyectos de Ciabattoni en la TU Wien implica el uso de la lógica matemática para formalizar el razonamiento ético en los Vedas , un conjunto de textos sagrados indios. [8]

Reconocimiento

En 2011, Ciabattoni ganó el Start-Preis del Fondo Austriaco de Ciencias , siendo la única mujer en ganar el premio ese año. [2] [9]

Referencias

  1. ^ "Facultad de Informática, TU Wien". 13 de enero de 2017. Consultado el 20 de abril de 2020 .
  2. ^ abcd "Eine logische Klasse für sich", Der Standard , 28 de junio de 2011
  3. ^ "Computerwissenschafter der TU Wien wollen internationale Marke werden". El estándar . 25 de enero de 2012 . Consultado el 20 de abril de 2020 .
  4. ^ "Weltrekord: Größtes menschliches Sortiernetzwerk en Viena". BMK Infothek: Bundesministerium für Klimaschutz, Umwelt, Energie, Mobilität, Innovation und Technologie . 25 de septiembre de 2019 . Consultado el 20 de abril de 2020 .
  5. ^ Agata Ciabattoni en el Proyecto de Genealogía Matemática
  6. ^ Personal del grupo de teoría y lógica, Facultad de Informática, TU Wien , consultado el 10 de diciembre de 2018
  7. ^ Organización, Sociedad Kurt Gödel , consultado el 10 de diciembre de 2018
  8. ^ Indian Sacred Texts and the Logic of Computer Ethics, TU Wien , 29 de enero de 2018 , consultado el 10 de diciembre de 2018
  9. ^ START-Preis 2011 für Agata Ciabattoni, TU Wien , consultado el 10 de diciembre de 2018

Enlaces externos