María Luisa Bonet

María Luisa Bonet Carbonell is a Spanish computer scientist interested in logic in computer science, including proof complexity and algorithms for the maximum satisfiability problem. She is a professor of computer science at the Polytechnic University of Catalonia.

§Related entries

Academic

Alicia Troncoso Lora

Spanish computer scientist

1974 – present · Spain

Academic

Amparo Alonso Betanzos

Spanish professor and researcher (Born 1961)

1961 – present · Spain

Academic

Andreu Veà Baró

Spanish engineer

1969 – present · Spain

Academic

Arturo Azcorra

Spanish scientist

1962 – present · Spain

Academic

Asunción Gómez Pérez

Spanish computer scientist and academic (born 1967)

1967 – present · Spain

Academic

Carme Torras

Spanish mathematician and computer scientist

1956 – present · Spain