Selected Awards and Grants

• At the Università degli Studi di Verona:
  • Programma di ricerca scientifica di rilevante interesse nazionale, Synthesis of deduction-based decision procedures with applications to the automatic formal analysis of software, Ministero dell'Istruzione, dell'Università e della Ricerca, with Alessandro Armando and Massimo Benerecetti, 2003 - 2005.

• While at The University of Iowa:
  • Career Development Award, Fall 2002 (renounced upon resigning from U. Iowa to join U. Verona).
  • Dean Scholar Award, College of Liberal Arts and Sciences, Class of 2000-02.
  • Faculty Early Career Development Award (CAREER), Distributed Deduction with Contraction and Foundation of Strategy Analysis, National Science Foundation, 1997 - 2002.
  • Research Assignment, Fall 1996.
  • Research Initiation Award (RIA), Strategies for Contraction-Based Distributed Automated Deduction, National Science Foundation, 1994 - 1997.
  • General Electric Foundation Faculty Fellowship and Old Gold Fellowship, Parallel Search in Distributed Automated Deduction, 1993 - 1994.

• Early ones:
  • Post-doc Fellowship ``Human Capital and Mobility'' of the European Union, INRIA-Lorraine and CRIN, Nancy, France, 1993.
  • Borsa di studio per il perfezionamento all'estero, Università degli Studi di Milano, 1991 - 1993.

Maria Paola Bonacina