Advanced Method for Analysis and Synthesis of Probabilistic Programs

Provider

Czech Science Foundation

Programme

Standard projects

Call for proposals

SGA0202600001

Main participants

Masarykova univerzita / Fakulta informatiky

Contest type

VS - Public tender

Contract ID

26-23441S

Project name in Czech

Advanced Method for Analysis and Synthesis of Probabilistic Programs

Annotation in Czech

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.

R&D category

ZV - Basic research

OECD FORD - main branch

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

OECD FORD - secondary branch

—

OECD FORD - another secondary branch

—

CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)

AF - Documentation, librarianship, work with information<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics

Realization period - beginning

Jan 1, 2026

Realization period - end

Dec 31, 2028

Project status

Z - Beginning multi-year project

Latest support payment

—

Confidentiality

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

Data delivery code

CEP26-GA0-GA-R

Data delivery date

May 4, 2026

Total approved costs

9,057 thou. CZK

Public financial support

6,930 thou. CZK

Other public sources

2,127 thou. CZK

Non public and foreign sources

0 thou. CZK