Výzkumná skupina se zaměřuje na ekonomické aspekty vývoje a ověřování softwarových nástrojů a metod, které přispívají k bezpečnosti a spolehlivosti digitálních aplikací. Výzkum propojuje přístupy softwarového inženýrství s hodnocením ekonomických dopadů nástrojů pro automatizovanou analýzu, verifikaci a testování softwaru.
Oblasti výzkumu:
- Ekonomické hodnocení nástrojů a metod digitální transformace
- Teorie diferenciálních rovnic a její aplikace v ekonomických modelech
- Formální a analytické přístupy k modelování informačních systémů a technologií