Název projektu
Aplikace formálních metod v oblastech modelování znalostí a softwarovém inženýrství IX
Kód
SP2026/056
Řešitel
Období řešení projektu
01. 01. 2026 - 31. 12. 2026
Předmět výzkumu
Předmětem výzkumu je aplikace a další rozvoj formálních metod v oblasti modelování znalostí a softwarového inženýrství. Výzkum se zaměřuje zejména na Transparentní intensionální logiku (TIL), formální verifikaci programů a automatizované zpracování přirozeného jazyka, včetně získávání znalostí z textových korpusů a vývoje systémů pro zodpovídání dotazů. Součástí výzkumu je také aplikace těchto metod v softwarovém inženýrství, kde je automotive využíván jako reprezentativní, vysoce regulovaná aplikační doména pro studium integrace agilního vývoje s požadavky na kvalitu, funkční bezpečnost a kybernetickou bezpečnost.
Členové řešitelského týmu
Ing. Svatopluk Štolfa, Ph.D.
Ing. Adam Albert, Ph.D.
prof. RNDr. Marie Duží, CSc.
Ing. David Ježek, Ph.D.
Ing. Martin Kot, Ph.D.
Ing. Jan Kožusznik, Ph.D.
Mgr. Marek Menšík, Ph.D.
doc. Ing. Zdeněk Sawa, Ph.D.
Ing. Jakub Štolfa, Ph.D.
Bc. Tomáš Hradil
Bc. Andrzej Malysz
Bc. Jan Karkoška
Bc. Jakub Koběrský
Bc. Jan Kopidol
Bc. David Husička
Bc. Jan Fojtík
Bc. Daniel Makovský
Bc. Marek Beran
Ing. Marek Spányik, MBA
Ing. Tomáš Stehlík
Shahriyar Sadigli
Ing. Marie Lašinská
Specifikace výstupů projektu (cíl projektu)
Cílem projektu je rozšíření teoretických základů a praktických postupů v oblasti formálních metod pro softwarové inženýrství a znalostní modelování. Výstupy projektu zahrnují vědecké publikace v impaktovaných časopisech a na mezinárodních konferencích, vývoj a ověření prototypových softwarových nástrojů podporujících analýzu, verifikaci a řízení kvality vývoje, metodické postupy aplikovatelné v regulovaných doménách a zapojení studentů do výzkumu formou diplomových a disertačních prací.