Background
Bonacina, Maria Paola was born on October 28, 1963 in Milan, Italy. Daughter of Alessandro and Annita (Fusari) Bonacina.
Bonacina, Maria Paola was born on October 28, 1963 in Milan, Italy. Daughter of Alessandro and Annita (Fusari) Bonacina.
Laurea in Computer Science cum laude, University Degli Studi, Milan, 1986. Dottorato di Ricerca in Computer Science, University Degli Studi, Milan, 1991. Doctor of Philosophy in Computer Science, State University of New York, Stony Brook, 1992.
Postdoctoral scholar Inria Lorraine & Crin, Nancy, France, 1993. Assistant professor computer science University Iowa, Iowa City, since 1993. Member program committee International Symposium on Parallel Symbolic Computation, Linz, Austria, 1994.
Member organizing committee International Conference on Rewrite Techniques and Applications, Como, Italy, 1991. Member program committee International Symposium on First Order Theorem Proving, Linz, Austria, 1997.
Member European Association Theoretical Computer Science, Association for Automated Reasoning (secretary).