teoretická informatika

Algebraizing first-order logics

2026–2030

GA ČR

Inhomogeneous random graphs

2026–2028

GA ČR

Substitution in Material Inference and Logical Environments

2026–2028

GA ČR

Biografie dezinformace s přívlastkem AI: Rizikový fenomén prizmatem moderních věd o člověku

2025–2029

GA MŠk

KATRA: Poznání, konání a čas – relevantní přístup

2025–2027

GA ČR

Moderní česká logika ve filozofii matematiky

2025–2027

GA ČR

Aleksi Honkasalo, Ph.D.

Amanda Vidal Wandelmer, Ph.D.

Andrew Moorhead, Ph.D.

Bc. Vít Kološ

David Cerna, MSc. Ph.D.

doc. RNDr. Jiří Šíma, DSc.

Frederik Garbe, MSc. Ph.D.

Giuliano Rosella, Ph.D.

Grigory Olkhovikov, Ph.D.

Han Gao, MSc. Ph.D.

Jae-baek Lee, Ph.D.

Jonathan Osinski, Dr. rer. nat.

Josef von Hoffmann, MSc.

Joseph McDonald, Ph.D.

Krzysztof Krawczyk, MSc.

Luca Carai, Ph.D.

Matas Šileikis, Ph.D.

Mgr. Adam Přenosil, Ph.D.

Mgr. Aneta Pokorná

Mgr. Chun-Yu Lin