Agata Ciabattoni

She is a full professor at the Institute of Logic and Computation of the Faculty of Informatics[1] at the Vienna University of Technology (TU Wien), and a co-chair of the Vienna Center for Logic and Algorithms of TU Wien (VCLA).

[5] She moved to Vienna in 2000 with the support of an EU Marie Curie Fellowship, and In 2007, she earned her habilitation at TU Wien.

[6] She also serves as the Collegium Logicum lecture series chair for the Kurt Gödel Society.

[7] One of Ciabattoni's projects at TU Wien involves using mathematical logic to formalize the ethical reasoning in the Vedas, a body of Indian sacred texts.

[8] In 2011, Ciabattoni won the Start-Preis of the Austrian Science Fund, the only woman to win the prize that year.