María Luisa Bonet Carbonell is a Spanish expert in computer science who studies logic in computers, including how complex it is to prove things and methods to find the best solutions to certain types of problems. She teaches computer science at the Polytechnic University of Catalonia in Spain.

Education and career

Bonet was born in Barcelona. In 1984, she earned a degree in philosophy from the University of Barcelona. Later that year, she became a Fulbright Fellow at the University of California, Berkeley. There, she completed a master's degree in mathematics in 1987 and studied theoretical computer science under Samuel Buss. When Buss moved to the University of California, San Diego in 1988, Bonet stayed at Berkeley. Her doctoral dissertation, titled The Lengths of Propositional Proofs and the Deduction Rule, was completed in 1991. It listed both Samuel Buss and Leo Harrington as co-advisors.

After earning her doctorate, Bonet worked as a postdoctoral researcher at the University of California, San Diego, the University of Pennsylvania, and DIMACS in New Jersey. In 1996, she returned to Barcelona and joined the computer science department at the Polytechnic University of Catalonia. She became a full professor there in 2007.

Selected publications

• Bonet, María Luisa; Pitassi, Toniann; Raz, Ran (1997), "Minimum limits for specific types of mathematical proofs with small coefficients" (PDF), Journal of Symbolic Logic, 62 (3): 708–728, doi: 10.2307/2275569, JSTOR 2275569, MR 1472120; earlier version presented at the 27th Symposium on Theory of Computing (STOC 1995), doi: 10.1145/225058.225275
• Bonet, María Luisa; Pitassi, Toniann; Raz, Ran (2000), "About interpolation and automation for Frege systems" (PDF), SIAM Journal on Computing, 29 (6): 1939–1967, doi: 10.1137/S0097539798353230, MR 1756400
• Bonet, María Luisa; Esteban, Juan Luis; Galesi, Nicola; Johannsen, Jan (2000), "On the relative complexity of resolution refinements and cutting planes proof systems" (PDF), SIAM Journal on Computing, 30 (5): 1462–1484, doi: 10.1137/S0097539799352474, MR 1813959
• Bonet, María Luisa; Levy, Jordi; Manyà, Felip (2007), "Resolution for Max-SAT", Artificial Intelligence, 171 (8–9): 606–618, doi: 10.1016/j.artint.2007.03.001, MR 2333554
• Ansótegui, Carlos; Bonet, María Luisa; Levy, Jordi (2013), "SAT-based MaxSAT algorithms", Artificial Intelligence, 196: 77–105, CiteSeerX 10.1.1.278.7791, doi: 10.1016/j.artint.2013.01.002, MR 3024193; Based on papers presented at conferences in SAT 2009, CCIA 2009, AAAI 2010, and CP 2012