Project Details

Spolehlivé, bezpečné a efektivní počítačové systémy

Project Period: 1. 3. 2020 – 28. 2. 2023

Project Type: grant

Code: FIT-S-20-6427

Agency: Brno University of Technology

Program: Vnitřní projekty VUT

Type
grant
Abstract

Podstatou projektu je výzkum v oblasti návrhu spolehlivých, bezpečných a efektivních počítačových systémů. Za tím účelem projekt integruje zaměstnance a doktorandy z Ústavu inteligentních systémů FIT VUT v Brně, kteří svým výzkumem pokrývají různé aspekty zmíněné oblasti. Projekt zahrnuje teoretický výzkum i prototypovou implementaci a experimentální ověření navržených technik na vhodných případových studiích.

Team members
Vojnar Tomáš, prof. Ing., Ph.D. (DITS) – research leader
Ambrožová Gabriela, Mgr., Ph.D.
Barabas Maroš, Ing., Ph.D.
Češka Milan, doc. RNDr., Ph.D. (DITS)
Češka Milan, prof. RNDr., CSc.
Drahanský Martin, prof. Ing., Ph.D.
Dvořák Michal, Ing., Ph.D.
Fiedor Jan, Ing., Ph.D. (DITS)
Fiedor Tomáš, Ing., Ph.D. (RG VERIFIT)
Goldmann Tomáš, Ing., Ph.D. (DITS)
Hanáček Petr, doc. Dr. Ing. (DITS)
Havlena Vojtěch, Ing., Ph.D. (DITS)
Heidari Mona, Ph.D. (FIT)
Hellebrandt Lukáš, Ing. (FIT)
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Holíková Lenka, Ing., Ph.D. (DITS)
Homoliak Ivan, doc. Ing., Ph.D. (DITS)
Hrubý Martin, Ing., Ph.D. (DITS)
Hruška Martin, Ing., Ph.D. (Automata@FIT)
Hujňák Ondřej, Ing., Ph.D. (RG-3-02)
Charvát Lukáš, Ing., Ph.D.
Janků Petr, Ing. (RG VERIFIT)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Kanich Ondřej, Ing., Ph.D. (DITS)
Kavetskyi Andrii (DITS)
Kočí Radek, Ing., Ph.D. (DITS)
Křena Bohuslav, Ing., Ph.D. (DITS)
Lengál Ondřej, Ing., Ph.D. (DITS)
Malík Viktor, Ing., Ph.D. (DITS)
Malinka Kamil, Mgr., Ph.D. (DITS)
Martiček Štefan, Ing.
Matyáš Jiří, Ing., Ph.D. (RG VERIFIT)
Nečasová Gabriela, Ing., Ph.D. (DITS)
Očenáš Martin, Ing. (FIT)
Orság Filip, Ing., Ph.D. (DITS)
Peringer Petr, Dr. Ing. (DITS)
Pernický Radim, Ing.
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS)
Rozman Jaroslav, Ing., Ph.D. (DITS)
Rydlo Štěpán, Ing. (DITS)
Sakin Martin, Ing. (DITS)
Semerád Lukáš, Ing., Ph.D. (DITS)
Smrčka Aleš, Ing., Ph.D. (DITS)
Šátek Václav, Ing., Ph.D. (DITS)
Šimková Hana, Mgr. Bc., Ph.D.
Šoková Veronika, Ing. (DITS)
Šůstek Martin, Ing. (DCGM)
Uhlíř Václav, Ing.
Vargovčík Pavol, Ing. (DITS)
Veigend Petr, Ing., Ph.D. (DITS)
Vídeňský František, Ing. (DITS)
Zbořil František, doc. Ing., CSc. (DITS)
Zbořil František, doc. Ing., Ph.D. (DITS)
Zimmermann Viktor, M.Sc.
Žák Marek, Ing., Ph.D.
Publications

2023

2022

2021

2020

Back to top