Buss se věnuje matematické logice a teoretické informatice, ale zabývá se i počítačovou grafikou. Je proslulý zejména díky své teorii omezené aritmetiky. "Dlouhodobě spolupracuje s Matematickým ústavem, konkrétně s profesorem Pudlákem," řekl ČTK ředitel Matematického ústavu AV ČR Jiří Rákosník. Pavel Pudlák je v současné době řešitelem grantu ERC, který udílí Evropská výzkumná rada.
Medaili Bernarda Bolzana udílí Akademie věd matematikům, kteří se významně zasloužili o rozvoj matematických věd. "U zahraničních osobností je podmínkou i intenzivní spolupráce s českými vědci," dodal Rákosník. Buss je od loňského roku členem poradního vědeckého sboru International Advisory Board, který funguje při Matematickém ústavu.
Buss publikoval více než 100 vědeckých prací
Buss publikoval více než 100 vědeckých prací a dvě monografie. Je také autorem dvou patentů a řady počítačových programů. Kromě toho působí jako editor vědeckých časopisů o matematické logice a teoretické informatice. Doktorský titul získal na Princetonské univerzitě v roce 1985, následně absolvoval výzkumný pobyt v Berkeley a dnes je profesorem matematiky, informatiky a inženýrství na Kalifornské univerzitě v San Diegu.
Při svém pobytu v Praze se Buss zúčastní také dvoudenního vědeckého workshopu, který pořádá Matematický ústav. Bude se věnovat omezené aritmetice.
Bolzanova medaile je pojmenovaná po českém matematikovi z první poloviny 19. století Bernardu Bolzanovi. Udílí ji Akademie věd od 80. let minulého století. V minulosti ji získali například matematikové Marián Fabian, Vladimír Müller nebo Pavel Krejčí.
