All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Verification and Analysis of Probabilistic Programs

Public support

  • Provider

    Czech Science Foundation

  • Programme

    Junior Grants

  • Call for proposals

    Juniorské granty 5 (SGA0201900002)

  • Main participants

    Masarykova univerzita / Fakulta informatiky

  • Contest type

    VS - Public tender

  • Contract ID

    19-15134Y

Alternative language

  • Project name in Czech

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

  • Annotation in Czech

    Pravděpodobnostní programy (PP) jsou programy napsané v některém z univerzálních programovacích jazyků obohaceném o pravděpodobnostní instrukce, např. o náhodné přiřazení hodnot proměnným dle dané distribuce. PP jsou využívány v různorodých oblastech, ke kterým patří strojové učení, počítačová bezpečnost či analýza síťových systémů. Abychom mohli zajistit, že systémy vyvíjené v těchto oblastech budou bezpečné a spolehlivé, je nutné vyvinout techniky pro jejich automatickou verifikaci, které musí pokrývat i verifikaci pravděpodobnostních programů. Cílem tohoto projektu je vyvinout automatické techniky pro analýzu a verifikaci těchto programů. Pro dosažení tohoto cíle navrhneme nové fundamentální koncepty (např. nové typy důkazů terminace či absence chyb v programu) a nové algoritmy založené na těchto konceptech. Rovněž budeme zkoumat využití těchto nových technik v aplikacích specifických pro oblast umělé inteligence (UI). Výsledky budou publikovány ve sbornících předních konferencí zaměřených na programovací jazyky, verifikaci a UI, a rovněž ve vybraných časopisech.

Scientific branches

  • 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

Completed project evaluation

  • Provider evaluation

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

  • Project results evaluation

    This is a solid and successful project. The team pursued the planned research direction and delivered many of the promised goals. The publications are in very good international venues. The budget has been spent properly.

Solution timeline

  • Realization period - beginning

    Jan 1, 2019

  • Realization period - end

    Dec 31, 2021

  • Project status

    U - Finished project

  • Latest support payment

    Apr 30, 2021

Data delivery to CEP

  • Confidentiality

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

  • Data delivery code

    CEP22-GA0-GJ-U

  • Data delivery date

    Jun 29, 2022

Finance

  • Total approved costs

    5,053 thou. CZK

  • Public financial support

    5,053 thou. CZK

  • Other public sources

    0 thou. CZK

  • Non public and foreign sources

    0 thou. CZK