Bolzanovu medaili AV ČR dostane matematik Buss, proslul teorií omezené aritmetiky

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 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.

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čí.