Agata Ciabattoni
matematica italiana Da Wikipedia, l'enciclopedia libera
Agata Ciabattoni (Ripatransone, 22 gennaio 1971) è un'informatica e matematica italiana[1].
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]
Dal 2021 dirige il progetto di ricerca Mosaic - modal logics, finanziato dall'Unione Europea, progetto atto ad esplorare le applicazioni delle logiche rappresentative della conoscenza, del ragionamento giuridico e della analisi logica del linguaggio naturale.[4]
- Logica a informatica, di Andrea Asperti e Agata Ciabattoni, 1997, ed. McGraw-Hill, ISBN 9788838607578.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
