Agata Ciabattoni is Full Professor at the Faculty of Informatics of the Vienna University of Technology (TU Vienna). 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). She moved to Vienna in 2000 first with a Marie Curie Individual Fellowship from the European Commission, afterwards she got a Habilitation Stipendium from the Austrian Science Fund (FWF), and then worked 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. At the beginning, her staying in Vienna was just planned for 2 years. The two years doubled and doubled again, and again :). From 2010 to 2012 she was first a research assistant (temporary position), and afterwards an associate professor at TU Vienna, thanks to her START prize.