Vojtěch Havlena z FIT získal 3. místo v Ceně Josepha Fouriera

Vojtěch Havlena, působící na Ústavu inteligentních systémů, zaujal odbornou porotu 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í.

Vítězové 12. ročníku převzali ceny na slavnostním ceremoniálu pořádaném francouzským velvyslanectví a společností Atos v Praze, 23. června, za účasti laureáta Nobelovy ceny za chemii Jean-Marie Lehna.

Cílem Ceny Josepha Fouriera je ocenit mimořádné vědecké práce se speciálním zaměřením na umělou inteligenci, počítačové systémy a sítě, kyberbezpečnost, databázové systémy, interakci člověk-počítač, grafiku, numerickou analýzu, programovací jazyky, softwarové inženýrství, bioinformatiku nebo počítačovou teorii.