Project Details

Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů

Project Period: 30. 1. 2009 - 31. 12. 2012

Project Type: grant

Code: GD102/09/H042

Agency: Czech Science Foundation

Program: Doktorské granty

English title
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems
Type
grant
Keywords

preparation of selected PhD students, reliability and security, concurrent and distributed systems, mathematical and engineering approaches

Abstract

The basic aim of the project is to create an exceptional program for educating excellent PhD students from FIT BUT and FI MU within research targeted at solving current scientific problems of reliability and security of concurrent and distributed systems, which is one of the key issues of the contemporary computer science. Within this framework, the project covers a wide variety of concrete problems ranging from the design of reliable computing platforms, through the area of computer security to methods of automatic verification of computer systems. The complexity of the studied problems necessitates a use of a combination of exact mathematical approaches with heuristic engineering techniques, which is ensured in the project by a unique combination of researchers with theoretical as well as engineering backgrounds. Apart from the complex and interdisciplinary approach, another key aspect of the preparation of students in the project lies in their intense involvement in international activities, based on exceptional international relations of the project leaders.

Team members
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT) , research leader
Bouda Jan, doc. RNDr., Ph.D. (FI MUNI) , team leader
Brim Luboš, prof. RNDr., CSc. (FI MUNI) , team leader
Černá Ivana, prof. RNDr., CSc. (FI MUNI) , team leader
Dvořák Václav, prof. Ing., DrSc. (UPSY FIT VUT) , team leader
Gruska Jozef, Prof. RNDr., DrSc. (FI MUNI) , team leader
Hanáček Petr, doc. Dr. Ing. (UITS FIT VUT) , team leader
Holub Petr, RNDr., Ph.D. (FI MUNI) , team leader
Hruška Tomáš, prof. Ing., CSc. (UIFS FIT VUT) , team leader
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT) , team leader
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT) , team leader
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , team leader
Křetínský Mojmír, prof. RNDr., CSc. (FI MUNI) , team leader
Kučera Antonín, prof. RNDr., Ph.D. (FI MUNI) , team leader
Matyáš Václav, prof. RNDr., M.Sc., Ph.D. (FI MUNI) , team leader
Matyska Luděk, prof. RNDr., CSc. (FI MUNI) , team leader
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY FIT VUT) , team leader
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , team leader
Bartoš Václav, Ing. (UPSY FIT VUT)
Dolíhal Luděk, Ing. (UIFS FIT VUT)
Drahošová Michaela, Ing., Ph.D. (UPSY FIT VUT)
Dudka Vendula, Ing. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Husár Adam, Ing., Ph.D., MBA (VCIT FIT VUT)
Jurnečka Peter, Ing. (UITS FIT VUT)
Konečný Filip, Ing. (UITS FIT VUT)
Korček Pavol, Ing., Ph.D. (UPSY FIT VUT)
Koutný Jiří, Ing. (UIFS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Mikušek Petr, Ing. (UPSY FIT VUT)
Pospíchal Petr, Ing. (UPSY FIT VUT)
Přikryl Zdeněk, Ing., Ph.D. (UIFS FIT VUT)
Samek Jan, Ing., Ph.D. (UITS FIT VUT)
Straka Martin, Ing., Ph.D. (UPSY FIT VUT)
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT)
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY FIT VUT)
Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT)
Publications

2013

2012

2011

2010

2009

Products

2012

2010

2009

Back to top