informático español
María Luisa Bonet Carbonell es una informática española interesada en la lógica en informática , incluida la complejidad de la prueba 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 originario de Barcelona . [2] Después de obtener una licenciatura en Filosofía en la Universidad de Barcelona en 1984, [3] obtuvo una beca 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, La longitud de las pruebas proposicionales y la regla de deducción , incluyó a Buss y Leo Harrington como coasesores. [5]
Bonet realizó una investigación postdoctoral como profesor asistente Warchawski en la Universidad de California, San Diego, en la Universidad de Pensilvania , y en DIMACS en Nueva Jersey . Regresó a Barcelona en 1996, para ocupar una plaza en el departamento de informática de la Universidad Politécnica de Cataluña. Se convirtió en profesora titular allí 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 la interpolación y la automatización de los 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 relativa complejidad 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", Personas , Instituto Simons , consultado el 14 de marzo de 2023
- ^ ab Curriculum vitae , consultado el 14 de marzo de 2023 - vía Docplayer.es
- ^ "Sam Buss", Gente , Instituto Simons , consultado el 14 de marzo de 2023
- ^ María Luisa Bonet en el Proyecto Genealogía de las Matemáticas
enlaces externos
- pagina de inicio
- Publicaciones de María Luisa Bonet indexadas en Google Scholar