Samuel Buss
American computer scientist and matematician
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.
Biography
Buss received his bachelor's degree in 1979 from the Emory University, and his master's degree and Ph.D. from Princeton University, respectively in 1983 and 1985. He joined the University of California, Berkeley, mathematics department in 1986 as a Lecturer, and stayed there until 1988. Buss joined the faculty of University of California, San Diego, Computer Science and Mathematics Departments in 1988 as an assistant professor, where he was promoted to Professor in 1993.
In 2019, Buss gave the Gödel Lecture titled Totality, provability and feasibility.
Research
Buss is considered one of the forefathers of bounded arithmetic and proof complexity.
During his PhD, Buss worked in bounded arithmetic. He received his PhD in 1985. He introduced bounded arithmetic in his thesis and gave a nice proof theoretic characterization of polynomial time computation.
Begin with the source’s own compact description: “Samuel Buss” is american computer scientist and matematician. The dossier treats that line as a proposition to test through Samuel, Buss and American, not as a finished interpretation.
Why this record matters
The phrase “american computer scientist and matematician” supplies a clear boundary for inquiry. It also exposes the unanswered questions: who defined that boundary, when it became stable and which sources sit outside it.
Chronology provides the most reliable spine for this subject; interpretation should follow only after identities and dates are secure. The source revision retrieved here is dated Aug 29, 2026. The linked authority identifier is Q7411021. VIAF identifies the subject as 170410. The Library of Congress control number is n86854870. 2 of 4 selected statements include explicit references; 1 carry qualifiers and 1 use preferred rank. The first chronological checks are 1957, 1979, 1983 and 1985.
Public reputation and documentary evidence do not always develop together; absence from a summary is not evidence of historical absence. The lead is largely declarative, so disagreement and counter-evidence require a deliberate search beyond the opening account. Authority statements aid reconciliation but still require their own references, qualifiers and ranks to be checked.
How to read it
Read biographical claims against dates, named institutions and the cited references. Distinguish a subject’s later reputation from evidence produced during their lifetime.
- Establishing names and roles
- Building a first chronology
- Locating cited institutions
Personal papers, civil or court records, institutional files and the scholarship cited by the source.
Three-step research path
- Establish the record: confirm the title “Samuel Buss”, its source revision and the description used here.
- Expand the search: follow Samuel Buss primary sources, Samuel Buss archive and Samuel research across catalogues and specialist indexes.
- Test the account: compare the strongest cited source with the responsible institution’s current record and note any disagreement.
Questions for further research
- Which source most directly establishes the central claim about “Samuel Buss”?
- Which primary records establish identity, chronology and institutional ties?
- How has the subject’s reputation changed across later accounts?
Search terms from this dossier
This entry incorporates text from “Samuel Buss” on English Wikipedia. Contributors are listed in the page history. Text is available under the Creative Commons Attribution-ShareAlike 4.0 License. Selected authority identifiers and statements are retrieved from Wikidata under CC0; their references and qualifiers remain part of the verification path.