Agata Ciabattoni is professor for nonclassical logics in computer science at the Faculty of Informatics of the Vienna University of Technology (July 2012 - July 2017). 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:

From 2009 to 2012 she was first a research assistant, and afterwards an associate professor at TU Vienna (tenure position).