Hispanopedia Wiki
Articulo de referencia

Agata Ciabattoni

Agata Ciabattoni es una lógica matemática italiana especializada en lógica no clásica . Es catedrática del Instituto de Lógica y Computación de la Facultad de Informática [ 1 ] ...

Hispanopedia WikiContenido en espanolLectura gratuita

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

Educación y carrera

Ciabattoni es originaria de Ripatransone . Estudió informática en la Universidad de Bolonia [ 2 ] y obtuvo su doctorado en 2000 en la Universidad de Milán . Su tesis doctoral, « Teoría de la demostración en lógicas multivaluadas» , fue dirigida por Daniele Mundici [ 5 ] .

Se trasladó 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 vinculada a la TU Wien como profesora en la facultad de informática. [ 6 ] También preside el ciclo de conferencias Collegium Logicum de la Sociedad Kurt Gödel . [ 7 ]

Contribuciones

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

Reconocimiento

En 2011, Ciabattoni ganó el Start-Preis del Fondo Austriaco para la Ciencia , 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. ^ "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. ↑ Textos sagrados de la India y la lógica de la ética informática , 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