Věda na Hradě: Matematická teorie výpočetní složitosti – je složitější problém vyřešit než řešení zkontrolovat?
Vědecko-popularizační přednáška z cyklu Věda na Hradě, která proběhla 5. března 2025 na Pražském hradě. Přednášející: Libor Barto profesor matematiky na Matematicko-fyzikální fakultě Univerzity Karlovy. Zabývá se algebrou, logikou a teoretickou informatikou, zejména problémy splnitelnosti omezujících podmínek. K jeho úspěchům patří získání dvou prestižních grantů Evropské rady pro výzkum (ERC): Consolidator grantu v roce 2017 a Synergy grantu, spolu s M. Bodirskym (Drážďany) a M. Pinskerem (Vídeň), v roce 2022.