Short bio

Maria Paola Bonacina is a Professor in the Department of Computer Science of the Università degli Studi di Verona. In the spring and summer of 2017 she visits the Isaac Newton Institute for Mathematical Sciences of the University of Cambridge, the School of Computer Science of the University of Manchester, and the Computer Science Laboratory of SRI International, where she was on sabbatical during the academic year 2015-16. Prior to joining U. Verona she was first Assistant Professor and then Associate Professor in the Department of Computer Science of the University of Iowa, where she received NSF RIA and CAREER awards and a Dean Scholar Award.

Her research area is artificial intelligence and computational logic, where she works in automated reasoning, including theorem proving, model building, decision procedures for satisfiability, reasoning for the analysis, verification, and synthesis of systems, strategy analysis, distributed deduction, and rewriting. Her research was funded by the NSF in the US, by the EU Commission and the Italian Ministry for Education and Research in Italy. She gave over one hundred and ten talks at the international level, authored over sixty peer-reviewed papers, and edited two books.

Maria Paola was Gratis Visitor and Visiting Research Scholar at Microsoft Research Redmond and Guest Professor at the Technische Universität Dresden. She visited several research sites, including SRI International, Stanford University, the University of Illinois at Urbana-Champaign, the University of New Mexico, the University of Oregon, the Argonne National Laboratory, the University of Illinois at Chicago, Iowa State University, and the Graduate College of CUNY, in America; the Universität Koblenz-Landau, MPI Saarbrücken, Tel Aviv University, King's College, EPFL, ETHZ, Chalmers University of Technology, and the Université Paris XI at Orsay, in Europe; the Chinese Academy of Sciences, Tsinghua University, and National Taiwan University, in Asia.

She was invited to speak at PPDP (Principles and Practice of Declarative Programming) and TABLEAUX (Automated Reasoning by Analytic Tableaux and Related Methods). She serves regularly on the Program Committees of CADE (Conference on Automated Deduction) and IJCAR (International Joint Conference on Automated Reasoning), and recently on those of TABLEAUX, CSL (Computer Science Logic), and LICS (Logic in Computer Science), as well as other events in artificial intelligence and computational logic. She served as Program Chair of CADE-24 in 2013. She was elected thrice to the Board of Trustees of CADE Inc., and twice President of the Board. As President of CADE Inc. she chaired the committee that assigns the Herbrand Award, one of the most prestigious in Computer Science, and she instituted the CADE Skolem Award and the CADE Best Paper Award. She was one of the Directors of the Association for Automated Reasoning.

Maria Paola did her postdoc at INRIA Lorraine and at the Argonne National Laboratory; she received a PhD from the State University of New York at Stony Brook, with a thesis on Distributed Automated Deduction; she received a Dottorato di Ricerca, with a thesis entitled On Completion Theorem Proving, and a Laurea, both from the Università degli Studi di Milano.

Maria Paola Bonacina