Samuel Buss - Samuel Buss

Samuel R. Buss
Alma materUniverzita Princeton
Emory University
Známý jakoOmezená aritmetika
Hodnocení booleovského vzorce
Vědecká kariéra
PolePočítačová věda, Matematika
InstituceUniversity of California, Berkeley, University of California, San Diego
Doktorský poradceSimon Kochen

Samuel R. (Sam) Buss je Američan počítačový vědec a matematik který významně přispěl do oblastí matematická logika, teorie složitosti a složitost důkazu. V současné době je Profesor na University of California, San Diego, Katedra informatiky a Katedra matematiky.

Životopis

Buss přijal jeho bakalářský titul v roce 1979 z Emory University, a jeho magisterský titul a Ph.D. z Univerzita Princeton, respektive v letech 1983 a 1985. Vstoupil do University of California, Berkeley, katedra matematiky v roce 1986 jako odborný asistent, a zůstal tam do roku 1988. Buss nastoupil na fakultu University of California, San Diego, Počítačová věda a Matematika Oddělení v roce 1988 jako odborný asistent, kde byl v roce 1993 povýšen na profesora.

Výzkum

Buss je považován za jednoho z předků omezená aritmetika a složitost důkazu.[1]

Během doktorátu pracoval Buss v omezené aritmetice. Doktorát získal v roce 1985. Ve své práci uvedl omezenou aritmetiku a poskytl pěkný důkaz teoretické charakterizace polynomiálního výpočtu času. Jeho práce je jedním z hlavních odkazů v oblasti omezené aritmetiky.[Citace je zapotřebí ] Je také autorem / editorem několika knih z oblasti matematické logiky a informatiky.[2]

Buss v roce 1983 dokázal, že problém s booleovským hodnocením vzorců je v ALogTime, což je hlavní výsledek teorie složitosti.

Jeho hlavní oblasti výzkumu jsou matematická logika, teorie složitosti a složitost důkazu. Mezi další oblasti, do kterých přispěl, patří omezená aritmetika, omezená reverzní matematika, a dolní hranice v propozici kontrolní systémy.

Reference

  1. ^ „Limit logiky prvního řádu« Gödelův ztracený dopis a P = NP “. Rjlipton.wordpress.com. Citováno 2012-07-09.
  2. ^ http://math.ucsd.edu/~sbuss/ResearchWeb/index.html

externí odkazy