Samuel R. (Sam) Buss (nacido el 6 de agosto de 1957) es un informático y matemático estadounidense que ha realizado importantes contribuciones a los campos de la lógica matemática , la teoría de la complejidad y la complejidad de la prueba . Actualmente es profesor de la Universidad de California, San Diego , Departamento de Ciencias de la Computación y Departamento de Matemáticas.
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 pronunció la Conferencia Gödel titulada Totalidad, demostrabilidad y viabilidad.
Buss es considerado uno de los antepasados de la aritmética acotada y la complejidad de la prueba . [1]
Durante su doctorado, Buss trabajó en aritmética acotada. Recibió su doctorado en 1985. Introdujo la aritmética acotada en su tesis y dio una buena caracterización teórica de prueba del cálculo del 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 e informática. [3]
Buss demostró en 1983 que el problema de evaluación de fórmulas booleanas 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 la prueba . Otras áreas en las que ha contribuido incluyen la aritmética acotada , las matemáticas inversas acotadas y los límites inferiores en sistemas de prueba proposicionales .