News

Majestic gowns, sceptres and chains of the rectors and deans, as well as other symbols and documents of Brno-based universities were on display at an extraordinary weeklong exhibition of rector's and dean's insignia and archival materials. After nearly 20 years, six Brno universities and their faculties, including the Faculty of Information Technology, exhibited their academic "jewels". The event took place from 16 to 24 November 2019 in the premises of the Dietrichstein Palace (Moravian Museum) at Zelný trh square, Brno.

How to make the automata technology more efficient so that the number of theoretically known application opportunities for finite-state machines can be realised in practice? The VeriFIT research group will look for new ways to achieve this goal as Lukáš Holík received a grant from the ERC CZ programme for the following five years. This national prestigious programme of support for research, experimental development and innovations provides funding for projects that were not supported at the European level due to insufficient funds within the European call. In the call, only seven projects were selected for the entire Czech Republic and the one selected for BUT is from the team at FIT. The project is concerned with research of technology for effective work with finite-state machines in applications such as verification and analysis of security of web applications and programmes handling data chains, programmes with indicator data structures, as well as in network operation inspection or in search for patterns.