Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Breve bio
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 programmi. 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 sistema
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 terrà 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.