Breve bio
Maria Paola Bonacina è Professoressa Ordinaria di Informatica
presso il Dipartimento di Informatica dell'Università degli Studi
di Verona. In precedenza è stata prima Assistant Professor e poi
Associate Professor presso il Department of Computer Science della
University of Iowa. Mentre era alla University of Iowa ricevette
il CAREER Award dalla National Science Foundation e il Dean Scholar Award
dal College of Liberal Arts and Sciences. La sua area di ricerca è
l'intelligenza artificiale dove si occupa di ragionamento automatico
applicato all'analisi, verifica e sintesi di sistemi. Le sue ricerche
sono state finanziate dalla National Science Foundation negli Stati Uniti,
dalla Commissione UE e dal MIUR in Italia. All'Università degli Studi
di Verona è stata Presidentessa del Corso di Laurea in Informatica,
Presidentessa del Comitato CIVR per le Scienze matematiche e informatiche,
Direttrice della Scuola di Dottorato di Scienze Ingegneria Medicina,
e Preside Vicaria della Facoltà di Scienze. Attualmente è in
Senato Accademico in rappresentanza dell'area di Scienze e Ingegneria.
Alla University of Iowa fu eletta alla Faculty Assembly del College of
Liberal Arts and Sciences, e nella Commissione per le assunzioni ogni volta
che il suo Dipartimento assumeva professori. A livello internazionale,
è stata eletta due volte Trustee di CADE Inc. (Conference on
Automated Deduction), risultando entrambe le volte prima con il metodo
Singolo Voto Trasferibile. È stata Presidentessa del Board of
Trustees di CADE ed ha fatto parte del Comitato Direttivo della Association
for Automated Reasoning. È Program Chair della Ventiquattresima
edizione di CADE che si tiene nel 2013. Maria Paola ha una laurea e un
dottorato di ricerca dall'Università degli Studi di Milano e
un PhD dalla State University of New York at Stony Brook.
Maria Paola Bonacina