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 University of California, San Diego, Department of Computer Science and Department of Mathematics.

Samuel R. Buss
Alma materPrinceton University
Emory University
Known forBounded arithmetic
Boolean formula evaluation
Scientific career
FieldsComputer science, mathematics
InstitutionsUniversity of California, Berkeley, University of California, San Diego
ThesisBounded arithmetic (1985)
Doctoral advisorSimon Kochen
Doctoral studentsMaría Luisa Bonet
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.