Americký matematik Samuel Buss převzal medaili Bernarda Bolzana

Samuel Buss je světoznámý matematik s širokým okruhem zájmů. Jeho hlavními obory jsou matematická logika a teoretická informatika, ale zabývá se i počítačovou grafikou. Je proslulý zejména v oblasti matematické logiky, kde se proslavil svou teorií nazvanou omezená aritmetika (Bounded Arithmetic). Ve čtvrtek 2. listopadu mu člen Akademické rady AV ČR Pavel Krejčí předal medaili Bernarda Bolzana za zásluhy v matematických vědách.

Doktorský titul Samuelovi Bussovi udělila Princetonská univerzita v roce 1985. Postdoktoranský výzkumný pobyt absolvoval v Berkeley a poté získal místo na Kalifornské univerzitě v San Diegu, kde působí dodnes jako profesor matematiky, informatiky a inženýrství.

Samuel Buss je autorem jedné ze čtyř monografií, které pojednávají o teorii omezené aritmetiky. To je systém formálních teorií, který odpovídá třídám výpočetní složitosti. S omezenou aritmetikou úzce souvisí oblast zvaná důkazová složitost, jejímž předmětem je studium složitosti důkazů v různých formálních systémech. Samuel Buss se zasloužil také o rozvoj této oblasti. V oboru teoretické informatiky se jeho zájem soustřeďuje na výpočetní složitost.

Matematik Buss publikoval více než 100 původních vědeckých prací, dvě monografie, napsal dvě kapitoly v Handbook of Proof Theory, je autorem dvou patentů a řady počítačových programů. Byl vicepresidentem společnosti Association for Symbolic Logic, je editorem řady časopisů v matematické logice a teoretické informatice, editoval několik sborníků a organizoval řadu konferencí a workshopů.

Dlouhodobě Samuel Buss spolupracuje s českými matematiky. Zúčastnil se tří česko-amerických mezinárodních grantů. Má řadu společných publikací s předními českými logiky (J. Krajíček, P. Pudlák, J. Sgall, N. D. Thapen).

V roce 2016 Samuel Buss přijal nominaci do International Advisory Board Matematického ústavu AV ČR.

Připravila: Vlaďka Coufalová, Odbor mediální komunikace Kanceláře AV ČR
Foto: Pavlína Jáchimová, Divize vnějších vztahů SSČ AV ČR

Přečtěte si také

• Když věda mění jídelníček: Strategie AV21 hledá cestu k udržitelným potravinám
• Tváří v tvář světové vědě. Badatelé z AV ČR se v Lindau setkali s nobelisty
• Výjimečné badatelské osobnosti převzaly medaile Akademie věd ČR
• Hana Lísalová: Inovace narážejí na překážky, bez investorů končí v šuplíku
• Světové kliniky, špičková věda. Jak se tvoří budoucnost asistované reprodukce?
• Akademie věd pomůže se záchranou koně Převalského a dalších ohrožených savců
• Mosty mezi laboratoří a trhem nestačí stavět, musí se po nich i chodit
• Moc předmětů: Adéla Gjuričová představuje nový program Strategie AV21
• Posílit pozici a podpořit mladé vědce: Jaké jsou priority místopředsedů AV ČR?
• Dana Dvořáčková Malá s týmem zkoumá domácnosti jako centra vývoje civilizací