grammo: A grammar of probabilistic models

Poskytovatel

Grantová agentura České republiky

Program

Mezinárodní grantové projekty hodnocené na principu LEAD Agency

Veřejná soutěž

—

Hlavní účastníci

Univerzita Karlova / 2. lékařská fakulta

Druh soutěže

M2 - Mezinárodní spolupráce

Číslo smlouvy

26-21806K

Název projektu anglicky

grammo: A grammar of probabilistic models

Anotace anglicky

We will design and implement grammo: a novel mid-level grammar for expressing Bayesian statistical models. Grammo will provide substantially more flexibility, reusability and transparency than state-of-the-art high-level statistical packages while staying much more concise and accessible than low-level probabilistic programming languages. Beyond theoretical analysis of its properties, the usability of grammo will be evaluated with human users. We will then develop new methods for automatic and computer-assisted analysis, manipulation and debugging of probabilistic programs, using grammo as a testbed. Further, grammo will allow us to research several classes of complex models that are currently rarely used due to difficulties in their specification. This includes various forms of joint models combining multiple data-generating mechanisms in a single model with shared parameters as well as time-to-event models and non-standard structural equation models. We will then develop workflows and supporting tools for those models including prior choice, model validation and selection.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

10103 - Statistics and probability

OECD FORD - vedlejší obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AF - Dokumentace, knihovnictví, práce s informacemi<br>BB - Aplikovaná statistika, operační výzkum<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika

Zahájení řešení

1. 7. 2026

Ukončení řešení

31. 12. 2029

Poslední stav řešení

Z - Začínající víceletý projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP26-GA0-GF-R

Datum dodání záznamu

27. 7. 2026

Celkové uznané náklady

5 476 tis. Kč

Výše podpory ze státního rozpočtu

5 476 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč