Project Details

Reliable, Secure, and Intelligent Computer Systems - extension for 2026

Project Period: 1. 3. 2026 – 28. 2. 2027

Project Type: grant

Code: FIT-S-26-9011

Agency: Brno University of Technology

Program: Vnitřní projekty VUT

Type
grant
Abstract

The project aims at research of theories and methods to facilitate the design of reliable, secure, and intelligent systems. For that purpose, it integrates selected researchers and students from all research groups of the Department of Intelligent systems of the Faculty of Information Technology of Brno University of Technology. The project includes theoretical research as well as prototype implementation and experimental evaluation of the proposed techniques on suitable case studies. It is is a one-year extension of project FIT-S-23-8151.

Team members
Kočí Radek, Ing., Ph.D. (DITS) – research leader
Andriushchenko Roman, Ing. (DITS)
Češka Milan, doc. RNDr., Ph.D. (DITS)
Dacík Tomáš, Ing. (DITS)
Fiedor Jan, Ing., Ph.D. (DITS)
Gazdík Richard, Ing. (DITS)
Goldmann Tomáš, Ing., Ph.D. (DITS)
Hanáček Petr, doc. Dr. Ing. (DITS)
Havlena Vojtěch, Ing., Ph.D. (DITS)
Hečko Michal, Ing. (DITS)
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Homoliak Ivan, doc. Ing., Ph.D. (DITS)
Hudák David, Ing. (DITS)
Chocholatý David, Ing. (DITS)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Kocourek Tomáš, Ing. (DITS)
Lapeš Zdeněk, Ing. (FIT)
Lengál Ondřej, doc. Ing., Ph.D. (DITS)
Lička Zbyněk, Ing. (DITS)
Macák Filip, Ing. (DITS)
Malík Viktor, Ing., Ph.D. (DITS)
Malinka Kamil, doc. Mgr., Ph.D. (DITS)
Mariani Juraj, Ing. (DITS)
Olekšák Samuel, Ing. (DITS)
Perešíni Martin, Ing. (DITS)
Reš Jakub, Ing. (DITS)
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS)
Rozman Jaroslav, Ing., Ph.D. (DITS)
Rozsíval Michal, Ing. (DITS)
Síč Juraj, Mgr. (DITS)
Smrčka Aleš, Ing., Ph.D. (DITS)
Snášel Daniel, Ing. (DITS)
Staněk Vojtěch, Ing. (DITS)
Šalko Milan, Ing. (DITS)
Šátek Václav, Ing., Ph.D. (DITS)
Vašíček Ondřej, Ing. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Vymazal Jan, Ing. (DITS)
Zbořil František, doc. Ing., CSc. (DITS)
Zbořil František, doc. Ing., Ph.D. (DITS)
Publication Results

2026

  • HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VAŠÁK, J.; GULČÍKOVÁ, S. Towards Efficient Matching of Regexes with Backreferences using Register Set Automata. Proceedings of the ACM on Programming Languages-PACMPL, 2026, vol. 10, iss. PLDI, p. 855-880. Detail
Back to top