3. místo v ceně Josepha Fouriera

Havlena Vojtěch, Ing., Ph.D.

Vojtěch Havlena z Ústavu inteligentních systémů (skupina VeriFIT) zaujal odbornou porotu a získal 3. místo ve 12. ročníku Ceny Josepha Fouriera, která tradičně oceňuje mladé talenty z oblasti počítačových věd. Ve své práci se zabýval vývojem efektivních automatových technik z hlediska verifikace programů a síťové bezpečnosti. Podařilo se mu vyvinout nové přístupy, které dále posouvají praktickou použitelnost konečných automatů v reálných aplikacích a umožňují například efektivnější detekci síťových útoků a anomálií.