Agata Ciabattoni

Agata Ciabattoni (Ripatransone, 22 gennaio 1971) è un'informatica e matematica italiana[1].

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 Prize[2] 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.[3]

Pubblicazioni

  • Logica a informatica, di Andrea Asperti e Agata Ciabattoni, 1997, ed. McGraw-Hill, ISBN 9788838607578.

Note

  1. ↑ Agata Ciabattoni, Tu Wien
  2. ↑ Agata Ciabattoni, THEORY AND LOGIC GROUP - FACULTY OF INFORMATICS - TECHNISCHE UNIVERSITÄT WIEN
  3. ↑ Nonclassical Proofs: Theory, Applications and Tools, Tu Wien

Collegamenti esterni

Controllo di autoritàVIAF (EN) 80404604 · SBN RAVV102001 · ORCID (EN) 0000-0001-6947-8772 · GND (DE) 135982162
Questa voce è stata pubblicata da Wikipedia. Il testo è rilasciato in base alla licenza Creative Commons Attribution-Share Alike 4.0, salvo diversa indicazione. Potrebbero essere applicate clausole aggiuntive per i file multimediali.