 | This article includes a list of general references, but it lacks sufficient corresponding inline citations. (August 2011) |
Samuel R. Buss | |
|---|---|
 | |
| Alma mater | Princeton University Emory University |
| Known for | Bounded arithmetic Boolean formula evaluation |
| Scientific career | |
| Fields | Computer science, mathematics |
| Institutions | University of California, Berkeley, University of California, San Diego |
| Thesis | Bounded arithmetic (1985) |
| Doctoral advisor | Simon Kochen |
| Doctoral students | María Luisa Bonet |
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.