Prestižní grant ERC CZ pro Lukáše Holíka a skupinu VeriFIT

Jak zefektivnit automatovou technologii dostatečně tak, aby se množství teoreticky známých aplikačních příležitostí pro konečné automaty mohlo realizovat v praxi? Hledání nových způsobů se bude věnovat výzkumná skupina VeriFIT, Lukáš Holík na to získal grant z programu ERC CZ na dalších pět let. V tomto národním prestižním programu podpory výzkumu, experimentálního vývoje a inovací jsou financovány projekty, které nebyly na evropské úrovni podpořeny z důvodu nedostatku alokace evropské výzvy. V proběhlé soutěži bylo vybráno jen sedm projektů za celou ČR,  jediný za VUT je právě z FIT. Projekt se týká výzkumu technologie pro efektivní práci s konečnými automaty, v aplikacích jako verifikace a analýza bezpečnosti webových aplikací a programů manipulujících s řetězci, programů s ukazatelovými datovými strukturami, v inspekci síťového provozu nebo ve vyhledávání vzorů.