Experience
Education
Bio
Agata Ciabattoni is professor for nonclassical logics in computer science at the Faculty of Informatics of the Vienna University of Technology (TU Vienna). In 2011 she has been awarded a START prize 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. A (Semantic) Characterization of Cut-Elimination, funded by the Austrian Science Fund (FWF), 2006-2009.