María Luisa Bonet

De Hispanopedia

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.[1]

Educación y carrera

Bonet nació en Barcelona.[2] Tras obtener una licenciatura en filosofía en la Universidad de Barcelona en 1984,[3] obtuvo una beca Fulbright para continuar sus estudios en la Universidad de California, Berkeley.[2] Allí realizó un máster en matemáticas en 1987,[3] y comenzó su doctorado en informática teórica bajo la dirección de Samuel Buss.[2] Cuando Buss se trasladó a la Universidad de California, San Diego en 1988,[4] 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.[5]

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.[2]

Referencias

  1. ↑ «People», Computer Science Department (Polytechnic University of Catalonia) .
  2. ↑ 2,0 2,1 2,2 2,3 «María Luisa Bonet Carbonell», People (Simons Institute), consultado el 14 de marzo de 2023 .
  3. ↑ 3,0 3,1 Curriculum vitae, consultado el 14 de marzo de 2023 – vía Docplayer.es .
  4. ↑ «Sam Buss», People (Simons Institute), consultado el 14 de marzo de 2023 .
  5. ↑ Plantilla:Mathgenealogy

Enlaces externos

Obtenido de «https://es.hispanopedia.com/index.php?title=María_Luisa_Bonet&oldid=925141»