Maria Paola Bonacina

Maria Paola Bonacina is a Full Professor at the Department of Computer Science, University of Verona. She leads the ARLette (Automated Reasoning Laboratory) research group and co-leads the Artificial Intelligence research group. Her office is located at Ca' Vignal 2, Floor 1, Room 73.

Her research focuses on symbolic reasoning and automated deduction within artificial intelligence, specializing in conflict-driven theorem proving, satisfiability modulo theories (SMT), formal verification of software/hardware systems, proof interpolation, and parallel reasoning algorithms. Key applications include program verification, model checking, and intelligent system design.

She serves on departmental governance bodies including the PhD Council for Computer Science and Department Council. Her teaching includes graduate courses on Automated Reasoning, Software Verification, and Planning & Reinforcement Learning.