Department of Distributed and Dependable Systems

http://d3s.mff.cuni.cz

Head of Department

Petr Tůma

prof. Ing. Petr Tůma, Dr.

Vice-Head of Department

Tomáš Bureš

prof. RNDr. Tomáš Bureš, Ph.D.

Scientific Secretary

Petr Hnětynka

doc. RNDr. Petr Hnětynka, Ph.D.

Secretary

Petra Novotná

Petra Novotná

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
  • Assistant Professors
  • Lecturers

prof. RNDr. Tomáš Bureš, Ph.D.

Professor | D3S (KDSS)
Tomáš Bureš
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)
František Plášil
Phone 95155 4266
Room S 212
Software architectures, self-adaptive systems, formal methods

prof. Ing. Petr Tůma, Dr.

Professor | D3S (KDSS)
Petr Tůma
Phone 95155 4267
Room S 205
Software performance, measurement methodologies, performance engineering

doc. Ing. Lubomír Bulej, Ph.D.

Associate Professor | D3S (KDSS)
Lubomír Bulej
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)
Petr Hnětynka
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)
Jan Kofroň
Phone 95155 4285
Room S 309
Software verification, model checking

doc. RNDr. Pavel Parízek, Ph.D.

Assistant Professor | D3S (KDSS)
Pavel Parízek
Phone 95155 4148
Room S 202
Software verification, program analysis

Mgr. Pavel Ježek, Ph.D.

Lecturer | D3S (KDSS)
Pavel Ježek
Phone 95155 4235
Room S 204
Teaching programming, C#, .NET

RNDr. Alena Koubková, CSc.

Lecturer | D3S (KDSS)
Alena Koubková
Phone 95155 4268
Room S 202
Data structures, analysis of algorithms

Researchers

Rima Al Ali

Researcher | D3S (KDSS)
Rima Al Ali
Phone 95155 4235
Room S 204
Uncertainty in adaptive systems, self-adaptation, cyber-physical systems

Mgr. Vojtěch Horký, Ph.D.

Researcher | D3S (KDSS)
Vojtěch Horký
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

Mgr. Adam Hornáček

External Member | D3S (KDSS)

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

Antonín Steinhauser

Ph.D. Student | D3S (KDSS)
Security testing, vulnerability scanners

Mgr. Jiří Vinárek

Ph.D. Student | D3S (KDSS)
Phone 95155 4121
Software verification, model checking