María Luisa Bonet Carbonell es una informática española especializada en lógica en informática, con especial interés en complejidad de prueba y en los algoritmos para el problema de satisfacibilidad máxima. Es catedrática de Informática en la Universidad Politécnica de Cataluña.
Educación y carrera Bonet nació en Barcelona. Tras obtener una licenciatura en filosofía en la Universidad de Barcelona en 1984, obtuvo una beca Fulbright para continuar sus estudios en la Universidad de California, Berkeley. Allí realizó un máster en matemáticas en 1987, y comenzó su doctorado en informática teórica bajo la dirección de Samuel Buss. Cuando Buss se trasladó a la Universidad de California, San Diego en 1988, Bonet decidió permanecer en Berkeley. En 1991 defendió su tesis doctoral titulada The Lengths of Propositional Proofs and the Deduction Rule, codirigida por Buss y Leo Harrington.
Bonet realizó su investigación postdoctoral como profesora adjunta Warchawski en la Universidad de California (San Diego), y posteriormente en la Universidad de Pensilvania y en DIMACS (Nueva Jersey). En 1996, regresó a Barcelona para incorporarse al Departamento de Informática de la Universidad Politécnica de Cataluña, donde se obtuvo la plaza de profesora titular en 2007.
Referencias
Enlaces externos
Categoría:Profesores de la Universidad Politécnica de Cataluña Categoría:Alumnado de la Universidad de California en Berkeley Categoría:Alumnado de la Universidad de Barcelona Categoría:Informáticos de España Categoría:Personas vivas