Samuel Buss - Samuel Buss
Samuel R. Buss | |
|---|---|
| Alma mater |
Princeton University Emory University |
| Conhecido por |
Avaliação da fórmula booleana aritmética limitada |
| Carreira científica | |
| Campos | Ciência da Computação , Matemática |
| Instituições | Universidade da Califórnia, Berkeley , Universidade da Califórnia, San Diego |
| Orientador de doutorado | Simon Kochen |
Samuel R. (Sam) Buss é um cientista da computação e matemático americano que fez grandes contribuições aos campos da lógica matemática , teoria da complexidade e complexidade da prova . Atualmente é professor da University of California, San Diego , Department of Computer Science e Department of Mathematics.
Biografia
Buss recebeu seu diploma de bacharel em 1979 pela Emory University , e seu mestrado e doutorado. da Universidade de Princeton , respectivamente em 1983 e 1985. Ele ingressou na Universidade da Califórnia, Berkeley , departamento de matemática em 1986 como Professora, e ficou lá até 1988. Buss ingressou na faculdade de Universidade da Califórnia, San Diego , Ciência da Computação e Matemática Departamentos em 1988 como Professor Auxiliar, onde foi promovido a Professor em 1993.
Pesquisar
Buss é considerado um dos antepassados da aritmética limitada e da complexidade da prova .
Durante seu PhD, Buss trabalhou em aritmética limitada. Ele recebeu seu PhD em 1985. Ele introduziu a aritmética limitada em sua tese e deu uma boa caracterização teórica de prova da computação em tempo polinomial. Sua tese é uma das principais referências na área da aritmética limitada. Ele também é autor / editor de vários livros em lógica matemática e ciência da computação.
Buss provou em 1983 que o problema de Avaliação da Fórmula Booleana está em ALogTime, um resultado importante na teoria da complexidade .
Suas principais áreas de pesquisa são lógica matemática , teoria da complexidade e complexidade de prova . Outras áreas para as quais ele contribuiu incluem aritmética limitada, matemática reversa limitada e limites inferiores em sistemas de prova proposicional .
Referências
- ^ "Um Limite da Lógica de Primeira Ordem« Carta Perdida de Gödel e P = NP " . Rjlipton.wordpress.com. 17 de janeiro de 2010 . Página visitada em 09/07/2012 .
- ^ "Publicações e outras pesquisas" .