Biografia Ha conseguito master e dottorato di ricerca in Computer Science all'Università di Milano e all'Università di Bologna. Attualmente è docente presso la Facoltà di Informatica dell'Università tecnica di Vienna. Nel 2011 ha ricevuto il riconoscimento europeo STARTS PrizeAgata Ciabattoni, THEORY AND LOGIC GROUP - FACULTY OF INFORMATICS - TECHNISCHE UNIVERSITÄT WIEN per il progetto universitario da lei diretto "Nichtklassische Beweise: Theorie, Automatisierung, Anwendungen'" (Dimostrazioni non classiche: teoria, applicazioni e strumenti), unica ricercatrice di sesso femminile a ricevere il premio durante quell'edizione.Nonclassical Proofs: Theory, Applications and Tools, Tu Wien
Pubblicazioni Logica a informatica, di Andrea Asperti e Agata Ciabattoni, 1997, ed. McGraw-Hill, ISBN 9788838607578.
Note
Collegamenti esterni Agata Ciabattoni, Tu Wien