Samuel Buss - Samuel Buss
Samuel R. Buss | |
---|---|
alma mater |
Universidad de Princeton Universidad Emory |
Conocido por |
Evaluación de fórmulas aritméticas booleanas acotadas |
Carrera científica | |
Los campos | Ciencias de la Computación , Matemáticas |
Instituciones | Universidad de California, Berkeley , Universidad de California, San Diego |
Asesor de doctorado | Simon Kochen |
Samuel R. (Sam) Buss es un científico 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 las pruebas . Actualmente es profesor en la Universidad de California, San Diego , Departamento de Ciencias de la Computación y Departamento de Matemáticas.
Biografía
Buss recibió su licenciatura en 1979 de la Universidad de Emory , y su maestría y doctorado. de la Universidad de Princeton , respectivamente en 1983 y 1985. Se incorporó a la Universidad de California, Berkeley , departamento de matemáticas en 1986 como Profesor, y permaneció allí hasta 1988. Buss se unió a la facultad de la Universidad de California, San Diego , Ciencias de la Computación y Matemáticas Departamentos en 1988 como profesor asistente, donde fue ascendido a profesor en 1993.
Investigar
Buss es considerado uno de los antepasados de la aritmética limitada y la complejidad de las pruebas .
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 uno de los principales referentes en el área de la aritmética acotada. También es autor / editor de varios libros de lógica matemática e informática.
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 las pruebas . Otras áreas en las que ha contribuido incluyen aritmética limitada, matemáticas inversas limitadas y límites inferiores en sistemas de prueba proposicionales .
Referencias
- ^ "Un límite de la lógica de primer orden« Letra perdida de Gödel y P = NP " . Rjlipton.wordpress.com. 17 de enero de 2010 . Consultado el 9 de julio de 2012 .
- ^ "Publicaciones y otras investigaciones" .