Detail projektu
Reliable, Secure, and Intelligent Computer Systems - extension for 2026
Období řešení: 1. 3. 2026 – 28. 2. 2027
Typ projektu: grant
Kód: FIT-S-26-9011
Agentura: Vysoké učení technické v Brně
Program: Vnitřní projekty VUT
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.
Andriushchenko Roman, Ing. (UITS)
Češka Milan, doc. RNDr., Ph.D. (UITS)
Dacík Tomáš, Ing. (UITS)
Fiedor Jan, Ing., Ph.D. (UITS)
Gazdík Richard, Ing. (UITS)
Goldmann Tomáš, Ing., Ph.D. (UITS)
Hanáček Petr, doc. Dr. Ing. (UITS)
Havlena Vojtěch, Ing., Ph.D. (UITS)
Hečko Michal, Ing. (UITS)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Homoliak Ivan, doc. Ing., Ph.D. (UITS)
Hudák David, Ing. (UITS)
Chocholatý David, Ing. (UITS)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Kocourek Tomáš, Ing. (UITS)
Lapeš Zdeněk, Ing. (VZ BlockSec@FIT)
Lengál Ondřej, doc. Ing., Ph.D. (UITS)
Lička Zbyněk, Ing. (UITS)
Macák Filip, Ing. (UITS)
Malík Viktor, Ing., Ph.D. (UITS)
Malinka Kamil, doc. Mgr., Ph.D. (UITS)
Mariani Juraj, Ing. (UITS)
Olekšák Samuel, Ing. (UITS)
Perešíni Martin, Ing., Ph.D. (UITS)
Reš Jakub, Ing. (UITS)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Rozman Jaroslav, Ing., Ph.D. (UITS)
Rozsíval Michal, Ing. (UITS)
Síč Juraj, Mgr. (UITS)
Smrčka Aleš, Ing., Ph.D. (UITS)
Snášel Daniel, Ing. (UITS)
Staněk Vojtěch, Ing. (UITS)
Šalko Milan, Ing. (UITS)
Šátek Václav, Ing., Ph.D. (UITS)
Vašíček Ondřej, Ing. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Vymazal Jan, Ing. (UITS)
Zbořil František, doc. Ing., CSc. (UITS)
Zbořil František, doc. Ing., Ph.D. (UITS)
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 - 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