Agata Ciabattoni is Full Professor at the Faculty of Informatics of the Vienna University of Technology. In 2011 she has been awarded a START prize, the highest Austrian award for early career researchers, for her project Non classical proofs: Theory, Applications and Tools.

Agata Ciabattoni holds a Master in Computer Science from the University of Bologna (Italy) and a PhD in Computer Science from the University of Milan (Italy). Prior to her current position, she had a Marie Curie Individual Fellowship from the European Commission and an Habilitation Scholarship (Elise Richter Programme for senior post-docs) from the Austrian Science Fund (FWF). From 2006-2010 she was working as Independent Principal Investigator in her research projects: Fuzzy Logic: from Mathematics to Medical Applications, funded by the Vienna Science and Technology Fund (WWTF), 2008-2012, and A (Semantic) Characterization of Cut-Elimination, funded by FWF, 2006-2009. From 2010 to 2012 she was first a research assistant, and afterwards an associate professor at TU Vienna.