Awards and Grants

• At the Università degli Studi di Verona:
  • External:
    • COST (European COoperation in the field of Scientific and Technical research) Action, Rich-model toolkit: an infrastructure for reliable computer systems (IC0901), European Union, with Viktor Kuncak (Chair 2009-12), César Sánchez (Chair 2013), et al., 2009 - 2013.
      • I am member of the Management Committee; Chair of the Work Group on Decision Procedures; Rapporteur for 2011; Program Co-Chair, with Alessandro Armando, of the Second Annual Meeting of the Action in 2011, and with César Sánchez, of the Workshop on Synthesis, Verification, and Analysis of Rich Models (SVARM) 2013.
    • PRIN (Programma di Ricerca scientifica di rilevante Interesse Nazionale), Integrating automated reasoning in model checking: towards push-button formal verification of large-scale and infinite-state systems, Ministero dell'Istruzione, dell'Università e della Ricerca, with Alessandro Armando, Massimo Benerecetti and Roberto Sebastiani, 2008 - 2010.
    • PRIN (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.
  • Internal:
    • Teaching Award, 2009-10.
    • Research Award (rewarding success in the application for the PRIN 2007 grant, in addition to regular matching funds), 2008-10.

• At The University of Iowa:
  • External:
    • Faculty Early Career Development Award (CAREER), Distributed Deduction with Contraction and Foundation of Strategy Analysis, National Science Foundation, 1997 - 2002 (PI).
    • Research Initiation Award (RIA), Strategies for Contraction-Based Distributed Automated Deduction, National Science Foundation, 1994 - 1997 (PI).
    • Research Instrumentation Grant, Instrumentation for research in search technology, National Science Foundation, 1998 - 2000 (co-PI).
    • Research Instrumentation Grant, Experimental parallel and distributed computing research at the University of Iowa, National Science Foundation, 1994 - 1995 (co-PI).
    • General Electric Foundation Faculty Fellowship, Parallel Search in Distributed Automated Deduction, 1993 - 1994 (PI).
  • Internal:
    • 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.
    • Research Assignment, Fall 1996.
    • Old Gold Fellowship, 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 (Fellowship of the Università degli Studi di Milano for its alumni studying abroad) 1991 - 1993.

Maria Paola Bonacina