Informático español
María Luisa Bonet Carbonell es una científica informática española interesada en la lógica en la informática , incluyendo la complejidad de las pruebas y los algoritmos para el problema de máxima satisfacibilidad . Es profesora de informática en la Universidad Politécnica de Cataluña . [1]
Educación y carrera
Bonet es originaria de Barcelona . [2] Después de obtener una licenciatura en filosofía en la Universidad de Barcelona en 1984, [3] se convirtió en becaria Fulbright en la Universidad de California, Berkeley . [2] Obtuvo una maestría en matemáticas allí en 1987, [3] y se convirtió en estudiante de doctorado de Samuel Buss , estudiando informática teórica . [2] Buss se mudó a la Universidad de California, San Diego en 1988, [4] pero Bonet permaneció en Berkeley; su tesis doctoral de 1991, The Lengths of Propositional Proofs and the Deduction Rule , incluyó a Buss y Leo Harrington como coasesores. [5]
Bonet realizó una investigación postdoctoral como profesora adjunta de la Universidad de California en San Diego, en la Universidad de Pensilvania y en DIMACS en Nueva Jersey . Regresó a Barcelona en 1996 para ocupar un puesto en el departamento de informática de la Universidad Politécnica de Cataluña, donde se convirtió en profesora titular en 2007. [2]
Publicaciones seleccionadas
- Bonet, María Luisa; Pitassi, Toniann ; Raz, Ran (1997), "Límites inferiores para pruebas de planos de corte con coeficientes pequeños" (PDF) , Journal of Symbolic Logic , 62 (3): 708–728, doi :10.2307/2275569, JSTOR 2275569, MR 1472120; versión preliminar en el 27º Simposio sobre Teoría de la Computación (STOC 1995), doi :10.1145/225058.225275
- Bonet, María Luisa; Pitassi, Toniann ; Raz, Ran (2000), "Sobre interpolación y automatización para sistemas Frege" (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), "Sobre la complejidad relativa de los refinamientos de resolución y los sistemas de prueba de planos de corte" (PDF) , SIAM Journal on Computing , 30 (5): 1462–1484, doi :10.1137/S0097539799352474, MR 1813959
- Bonet, María Luisa; Levy, Jordi; Manyà, Felip (2007), "Resolución para Max-SAT", Inteligencia artificial , 171 (8–9): 606–618, doi : 10.1016/j.artint.2007.03.001 , SEÑOR 2333554
- Ansótegui, Carlos; Bonet, María Luisa; Levy, Jordi (2013), "Algoritmos MaxSAT basados en SAT", Inteligencia artificial , 196 : 77–105, CiteSeerX 10.1.1.278.7791 , doi :10.1016/j.artint.2013.01.002, MR 3024193; basado en artículos de conferencias en SAT 2009, CCIA 2009, AAAI 2010 y CP 2012
Referencias
- ^ "Personas", Departamento de Informática , Universidad Politécnica de Cataluña
- ^ abcd "María Luisa Bonet Carbonell", People , Simons Institute , consultado el 14 de marzo de 2023
- ^ ab Curriculum vitae , consultado el 14-03-2023 – vía Docplayer.es
- ^ "Sam Buss", People , Simons Institute , consultado el 14 de marzo de 2023
- ^ María Luisa Bonet en el Proyecto Genealogía Matemática
Enlaces externos
- Página de inicio
- Publicaciones de María Luisa Bonet indexadas en Google Scholar
