Samuel Buss

Samuel R. Buss
Alma mater	Princeton University Emory University
Känd för	Avgränsad aritmetisk boolesk formelutvärdering
Vetenskaplig karriär
Fält	Datavetenskap , matematik
institutioner	University of California, Berkeley , University of California, San Diego
Doktorand rådgivare	Simon Kochen

Samuel R. (Sam) Buss är en amerikansk datavetare och matematiker som har gjort stora bidrag till områdena matematisk logik , komplexitetsteori och beviskomplexitet . Han är för närvarande professor vid University of California, San Diego, Department of Computer Science och Department of Mathematics.

Biografi

Buss tog sin kandidatexamen 1979 från Emory University , och sin magisterexamen och Ph.D. från Princeton University 1983 respektive 1985. Han började på University of California, Berkeley , matematikavdelningen 1986 som lektor, och stannade där till 1988. Buss började på fakulteten vid University of California, San Diego , datavetenskap och matematikavdelningar 1988 som biträdande professor, där han befordrades till professor 1993.

2019 höll Buss Gödelföreläsningen med titeln Totalitet, bevisbarhet och genomförbarhet.

Forskning

Buss anses vara en av förfäderna till begränsad aritmetik och beviskomplexitet .

Under sin doktorsexamen arbetade Buss med avgränsad aritmetik. Han disputerade 1985. Han introducerade gränsad aritmetik i sin avhandling och gav ett fint bevis teoretisk karakterisering av polynom tidsberäkning. Hans avhandling är en av de viktigaste referenserna inom området bounded aritmetic. Han är också författare/redaktör för flera böcker inom matematisk logik och datavetenskap.

Buss bevisade 1983 att problemet med boolesk formelutvärdering finns i ALogTime, ett stort resultat inom komplexitetsteorin .

Hans huvudsakliga forskningsområden är matematisk logik , komplexitetsteori och beviskomplexitet . Andra områden som han har bidragit till inkluderar avgränsad aritmetik , avgränsad omvänd matematik och lägre gränser i propositionella bevissystem .

externa länkar

• Hemsida för Samuel R. Buss
• Problemet med boolesk formelvärde är i ALOGTIME
• Avgränsad aritmetik
• Handbok för bevisteori
• 3D datorgrafik: Ett matematiskt tillvägagångssätt med OpenGL