Verifikace a analýza pravděpodobnostních programů

Poskytovatel

Grantová agentura České republiky

Program

Juniorské granty

Veřejná soutěž

Juniorské granty 5 (SGA0201900002)

Hlavní účastníci

Masarykova univerzita / Fakulta informatiky

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

19-15134Y

Název projektu anglicky

Verification and Analysis of Probabilistic Programs

Anotace anglicky

Probabilistic programs (PPs) are programs written in some general-purpose programming language enriched with probabilistic constructs, such as sampling of a variable value from a probability distribution. PPs emerge in a variety of application domains, including machine learning, security, or network design, to name a few. To ensure that systems developed in these domains are safe and reliable, it is desirable to develop formal verification techniques for proving properties of PPs. The aim of this project is to develop new automated techniques for formal analysis and verification of PPs. To achieve this, we will develop new fundamental concepts (such as new notions of termination and safety proofs) and new algorithms based on these concepts. We will also investigate the use of the developed techniques in domains specific to artificial intelligence (AI). The results will be published at leading international conferences on programming languages, verification, and AI, as well as in select journals.

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

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Jedná se o kvalitní a úspěšný projekt. Tým sledoval plánovaný směr výzkumu a splnil mnoho ze slibovaných cílů. Publikace jsou na velmi dobrých mezinárodních místech. Rozpočet byl řádně vyčerpán.

Zahájení řešení

1. 1. 2019

Ukončení řešení

31. 12. 2021

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

30. 4. 2021

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

CEP22-GA0-GJ-U

Datum dodání záznamu

29. 6. 2022

Celkové uznané náklady

5 053 tis. Kč

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

5 053 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč