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.

FIT-S-26-9011

Czech

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

Department of Intelligent Systems
- responsible department (15.6.2026 - not assigned)
Department of Intelligent Systems
- internal (1.1.2026 - 31.12.2026)
Faculty of Information Technology
- beneficiary (1.1.2026 - 31.12.2026)

Juraj Mariani, Ivan Homoliak. Social Capital Consensus for Blockchains: Exploring Design Options for Replacement of Proof-of-Stake by Social Influence. 2026 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). Brisbane, Australia: IEEE, 2026. p. 1.ISBN: 979-8-3315-8633-1.
Detail

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

Responsibility: Kočí Radek, Ing., Ph.D.