María Luisa Bonet Carbonell és una informàtica espanyola interessada en la lògica en informàtica, incloent-hi la complexitat de la demostració i els algoritmes per al problema de màxima satisfacibilitat. És professora d'informàtica a la Universitat Politècnica de Catalunya.
Educació i carrera professional Bonet és nascuda a Barcelona. Després de llicenciar-se en filosofia a la Universitat de Barcelona el 1984, va obtenir una beca Fulbright a la Universitat de Califòrnia, Berkeley. Va obtenir a la mateixa universitat un màster en matemàtiques l'any 1987, i es va convertir en estudiant de doctorat de Samuel Buss, treballant el camp de la informàtica teòrica. Buss es va traslladar a la Universitat de Califòrnia, San Diego el 1988, però Bonet va seguir a Berkeley; la seva tesi doctoral del 1991, The Lengths of Propositional Proofs and the Deduction Rule, va ser codirigida per Buss i Leo Harrington.
Bonet va fer recerca postdoctoral com a professora adjunta Warchawski a la Universitat de Califòrnia, San Diego, a la Universitat de Pennsilvània i al DIMACS de Nova Jersey. Va tornar a Barcelona el 1996 per ocupar un lloc al departament d'informàtica de la Universitat Politècnica de Catalunya. Va esdevenir-ne professora titular l'any 2007.
Publicacions seleccionades ; preliminary version in 27th Symposium on Theory of Computing (STOC 1995),
; based on conference papers in SAT 2009, CCIA 2009, AAAI 2010, and CP 2012
Referències
Enllaços externs Pàgina d'inici Pàgina de Maria Luisa Bonet Carbonell Maria Luisa Bonet Publicacions indexades al Google Acadèmic
Categoria:Professors de la Universitat Politècnica de Catalunya Categoria:Alumnes de la Universitat de Califòrnia a Berkeley Categoria:Alumnes de la Universitat de Barcelona Categoria:Informàtics catalans Categoria:Persones vives Categoria:Docents catalans