Samuel R. (Sam) Buss (nacido el 6 de agosto de 1957) es un informático y matemático estadounidense que ha realizado importantes contribuciones en los campos de la lógica matemática , la teoría de la complejidad y la complejidad de las demostraciones . Actualmente es profesor en el Departamento de Ciencias de la Computación y el Departamento de Matemáticas de la Universidad de California en San Diego .
Buss recibió su licenciatura en 1979 de la Universidad Emory , y su maestría y doctorado de la Universidad de Princeton , respectivamente en 1983 y 1985. Se unió al departamento de matemáticas de la Universidad de California, Berkeley , en 1986 como profesor, y permaneció allí hasta 1988. Buss se unió a la facultad de los Departamentos de Ciencias de la Computación y Matemáticas de la Universidad de California, San Diego en 1988 como profesor asistente, donde fue ascendido a profesor en 1993.
En 2019, Buss impartió la Conferencia Gödel titulada Totalidad, demostrabilidad y viabilidad.
Buss es considerado uno de los precursores de la aritmética acotada y de la complejidad de las pruebas . [1]
Durante su doctorado, Buss trabajó en aritmética acotada. Recibió su doctorado en 1985. Introdujo la aritmética acotada en su tesis y realizó una buena caracterización teórica de la prueba del cálculo en tiempo polinomial. Su tesis es una de las principales referencias en el área de la aritmética acotada. [2] También es autor/editor de varios libros sobre lógica matemática y ciencias de la computación. [3]
Buss demostró en 1983 que el problema de evaluación de la fórmula booleana está en ALogTime, un resultado importante en la teoría de la complejidad .
Sus principales áreas de investigación son la lógica matemática , la teoría de la complejidad y la complejidad de las demostraciones . Otras áreas a las que ha contribuido incluyen la aritmética acotada , las matemáticas inversas acotadas y los límites inferiores en los sistemas de demostración proposicional .