María Luisa Bonet Carbonell is a Spanish computer scientist interested in

logic in computer science Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas: * Theoretical foundations and analysis * Use of computer technology to aid logicians ...

, including

proof complexity In logic and theoretical computer science, and specifically proof theory and computational complexity theory, proof complexity is the field aiming to understand and analyse the computational resources that are required to prove or refute statements. ...

and algorithms for the

maximum satisfiability problem In computational complexity theory, the maximum satisfiability problem (MAX-SAT) is the problem of determining the maximum number of clauses, of a given Boolean formula in conjunctive normal form, that can be made true by an assignment of truth va ...

. She is a professor of computer science at the

Polytechnic University of Catalonia The Polytechnic University of Catalonia (, , ; UPC), currently referred to as BarcelonaTech, is the largest polytechnic university in Catalonia, Spain. UPC's objectives are based on internationalization, as it is one of Europe's techni ...

Education and career

Bonet is originally from

Barcelona Barcelona ( ; ; ) is a city on the northeastern coast of Spain. It is the capital and largest city of the autonomous community of Catalonia, as well as the second-most populous municipality of Spain. With a population of 1.6 million within c ...

. After earning a degree in philosophy at the

University of Barcelona The University of Barcelona (official name in ; UB), formerly also known as Central University of Barcelona (), is a public research university located in the city of Barcelona, Catalonia, Spain. It was established in 1450. With 76,000 students, ...

in 1984, she became a

Fulbright Fellow The Fulbright Program, including the Fulbright–Hays Program, is one of several United States cultural exchange programs with the goal of improving intercultural relations, cultural diplomacy, and intercultural competence between the people o ...

at the

University of California, Berkeley The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California), is a Public university, public Land-grant university, land-grant research university in Berkeley, California, United States. Founded in 1868 and named after t ...

. She earned a master's degree in mathematics there in 1987, and became a doctoral student of

Samuel Buss Samuel R. (Sam) Buss (born August 6, 1957) is an American computer scientist and mathematician who has made major contributions to the fields of mathematical logic, complexity theory and proof complexity. He is currently a professor at the Unive ...

, studying

theoretical computer science Theoretical computer science is a subfield of computer science and mathematics that focuses on the Abstraction, abstract and mathematical foundations of computation. It is difficult to circumscribe the theoretical areas precisely. The Associati ...

. Buss moved to the

University of California, San Diego The University of California, San Diego (UC San Diego in communications material, formerly and colloquially UCSD) is a public university, public Land-grant university, land-grant research university in San Diego, California, United States. Es ...

in 1988, but Bonet remained at Berkeley; her 1991 doctoral dissertation, ''The Lengths of Propositional Proofs and the Deduction Rule'', listed both Buss and Leo Harrington as co-advisors. Bonet did postdoctoral research as a Warchawski Assistant Professor at the University of California, San Diego, at the

University of Pennsylvania The University of Pennsylvania (Penn or UPenn) is a Private university, private Ivy League research university in Philadelphia, Pennsylvania, United States. One of nine colonial colleges, it was chartered in 1755 through the efforts of f ...

, and at

DIMACS The Center for Discrete Mathematics and Theoretical Computer Science (DIMACS) is a collaboration between Rutgers University, Princeton University, and the research firms AT&T, Bell Labs, Applied Communication Sciences, and NEC. It was founded in ...

New Jersey New Jersey is a U.S. state, state located in both the Mid-Atlantic States, Mid-Atlantic and Northeastern United States, Northeastern regions of the United States. Located at the geographic hub of the urban area, heavily urbanized Northeas ...

. She returned to Barcelona in 1996, to take a position in the computer science department of the Polytechnic University of Catalonia. She became a full professor there in 2007.

Selected publications

*; 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

References

External links

Home page
* {{DEFAULTSORT:Bonet, Maria Luisa Year of birth missing (living people) Living people Spanish computer scientists Spanish women computer scientists University of Barcelona alumni University of California, Berkeley alumni Academic staff of the Polytechnic University of Catalonia