3rd prize in the Joseph Fourier Award

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

Vojtěch Havlena from the Department of Intelligent Systems (the VeriFIT group) was awarded the 3rd prize in the 12th year of the Joseph Fourier Award, which traditionally acclaims young talented researchers in the area of computer science. Vojtěch's research focuses on the development of efficient automata techniques for the use in verification of programs and network security. He has proposed novel approaches that significantly advance the practical usability of finite automata in real-world applications and allow, e.g., more efficient detection of network attacks and anomalies.