María Luisa is a Professor in the Computer Science department of the Universitat Politecnica de Catalunya. For many years she worked in proof complexity, but lately María Luisa has been interested in Satisfiability and MaxSAT, usually from a theoretical point of view.
María Luisa Bonet Carbonell grew up and studied in Barcelona, Spain, until 1985 when she went to Berkeley with a Fullbright Fellowship. María Luisa obtained her PhD in Mathematics in 1991 at the UC Berkeley. She was supervised by Sam Buss on topics related to proof theory and proof complexity. For the following four years and a half, María Luisa had temporary positions at UC San Diego (Warchawski Assistant Professorship), University of Pennsylvania, and the Center for Discrete Mathematics and Theoretical Computer Science (DIMACS) in New Jersey
- Satisfiability: Theory, Practice, and Beyond, Spring 2021. Workshop Organizer.