Advanced Method for Analysis and Synthesis of Probabilistic Programs

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

SGA0202600001

Hlavní účastníci

Masarykova univerzita / Fakulta informatiky

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

26-23441S

Název projektu anglicky

Advanced Method for Analysis and Synthesis of Probabilistic Programs

Anotace anglicky

Probabilistic programs are "standard" programs that can acquire (sample) data randomly from given probability distributions. Formal methods for analyzing, verifying, and synthesizing probabilistic programs are indispensable for achieving their correctness and sufficient performance. The project contributes to this line of research by overcoming selected key limitations of current methods in the verification of programs with unbounded data types, asymptotic complexity analysis, and algorithmic synthesis.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

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

OECD FORD - vedlejší obor

—

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>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika

Zahájení řešení

1. 1. 2026

Ukončení řešení

31. 12. 2028

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-GA-R

Datum dodání záznamu

4. 5. 2026

Celkové uznané náklady

9 057 tis. Kč

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

6 930 tis. Kč

Ostatní veřejné zdroje financování

2 127 tis. Kč

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

0 tis. Kč