Agata Ciabattoni
Professor
Vienna University
Austria
Biography
Agata Ciabattoni is a professor for nonclassical logics in computer science at the Faculty of Informatics of the Vienna University of Technology. In 2011 she has been awarded a START prize (the Austrian equivalent of the ERC starting grant) for her project Non classical proofs: Theory, Applications and Tools. She is working on theoretical aspects of nonclassical logics (proof theory and semantics), tools for their investigation, and applications.
Research Interest