Department of Distributed and Dependable Systems
Department of Distributed and Dependable Systems is responsible for research and education in the advanced techniques for building reliable component-based software especially in the field of distributed and dependable systems, spanning from smart cyber-physical systems and IoT to cloud-based backends. The department research comprises advanced software architectures, adaptation, model-driven development, model-based testing, formal verification of software, performance measurement and modeling.
The department actively collaborates on the national and international level with both academic and industrial partners and is responsible for different courses for both bachelor and master students.
Academic Staff
- Professors
- Associate Professors
- Lecturers
prof. RNDr. Tomáš Bureš, Ph.D.
Professor | D3S (KDSS)
Phone 95155 4236
Room S 212
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems
prof. Ing. František Plášil, DrSc.
Professor | D3S (KDSS)
Phone 95155 4266
Room S 212
Software architectures, self-adaptive systems, formal methods
prof. Ing. Petr Tůma, Dr.
Professor | D3S (KDSS)
Phone 95155 4267
Room S 205
Software performance, measurement methodologies, performance engineering
doc. Ing. Lubomír Bulej, Ph.D.
Associate Professor | D3S (KDSS)
Phone 95155 4189
Room S 205
Dynamic program analysis, software performance evaluation and testing
doc. RNDr. Petr Hnětynka, Ph.D.
Associate Professor | D3S (KDSS)
Phone 95155 9043
Room S 212
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems
doc. RNDr. Jan Kofroň, Ph.D.
Associate Professor | D3S (KDSS)
Phone 95155 4285
Room S 309
Software verification, model checking
doc. RNDr. Pavel Parízek, Ph.D.
Associate Professor | D3S (KDSS)
Phone 95155 4148
Room S 202
Software verification, program analysis
Mgr. Pavel Ježek, Ph.D.
Lecturer | D3S (KDSS)
Phone 95155 4235
Room S 204
Teaching programming, C#, .NET
RNDr. Alena Koubková, CSc.
Lecturer | D3S (KDSS)
Phone 95155 4268
Room S 202
Data structures, analysis of algorithms
Researchers
Rima Al Ali
Researcher | D3S (KDSS)
Phone 95155 4235
Room S 204
Uncertainty in adaptive systems, self-adaptation, cyber-physical systems
Mgr. Vojtěch Horký, Ph.D.
Researcher | D3S (KDSS)
Phone 95155 4457
Room S 205
Software performance, automated performance testing, software performance documentation
External Members
Ing. Vojtěch Aschenbrenner
External Member | D3S (KDSS)
Room S 205
Operating systems, computer networks, compilers, software performance
RNDr. Jakub Daniel
External Member | D3S (KDSS)
Phone 95155 4121
Software verification, program analysis
RNDr. Leo Galamboš, Ph.D.
External Member | D3S (KDSS)
Phone 910 800 252
Internet of Things, platforms for big data, cybersecurity
Ph.D. Students
Mgr. Martin Blicha
Ph.D. Student | D3S (KDSS)
Phone 95155 4121
Software verification, model checking, SAT, SMT
Mgr. Vlastimil Dort
Ph.D. Student | D3S (KDSS)
Phone 95155 4235
Static program analysis, type systems
Mgr. Filip Kliber
Ph.D. Student | D3S (KDSS)
Phone 95155 4121
Room S 309
Programming, program analysis, compilers
RNDr. Filip Krijt
Ph.D. Student | D3S (KDSS)
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems
RNDr. Dominik Škoda
Ph.D. Student | D3S (KDSS)
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems
