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 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 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.