Professor, UC San Diego
Sam Buss is a Professor of Mathematics and Computer Science at the University of California, San Diego. He received his bachelor's from Emory University and his PhD from Princeton University. After postdoctoral positions at the Mathematical Sciences Research Institute and the University of Berkeley, Buss has been a faculty member at UC San Diego since 1988. His research is in the areas of proof complexity, bounded arithmetic, proof theory, mathematical logic, and theory of computer science. Buss received the Bolzano Award in 2017, and was the ASL Godel Lecturer in 2019.
Extended Reunion: Satisfiability , Spring 2023Visiting Scientist and Program Organizer
Satisfiability: Theory, Practice, and Beyond , Spring 2021Visiting Scientist and Program Organizer
Logical Structures in Computation , Fall 2016Visiting Scientist