Sam Buss
Professor, UC San Diego
Visiting Scientist and Program Organizer
Program: Extended Reunion: Satisfiability
Dates of Visit: Mar. 13–May 12, 2023
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.
Program Visits
- Extended Reunion: Satisfiability, Spring 2023. Visiting Scientist and Program Organizer.
- Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Scientist, Program Organizer and Workshop Organizer.
- Logical Structures in Computation, Fall 2016. Visiting Scientist.