Departments

Department of Distributed and Dependable Systems

http://d3s.mff.cuni.cz

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

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

Professor | D3S
Member | Scientific Board
Tomáš Bureš
Phone 95155 4236
Room S 212
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems

prof. Ing. Petr Tůma, Dr.

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

prof. Ing. František Plášil, DrSc.

Professor Emeritus | D3S
František Plášil
Phone 95155 4266
Room S 212
Software architectures, self-adaptive systems, formal methods

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

Associate Professor | D3S
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
Member | Academic Senate
Petr Hnětynka
Phone 95155 4143
Room S 212
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems

doc. RNDr. Jan Kofroň, Ph.D.

Associate Professor | D3S
Jan Kofroň
Phone 95155 4285
Room S 309
Software verification, model checking

doc. RNDr. Martin Kruliš, Ph.D.

Associate Professor | D3S
Martin Kruliš
Phone 95155 4193
Room S 204
Parallel programming and performance optimizations, web technologies, data analysis and machine learning, similarity search

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

Associate Professor | D3S
Pavel Parízek
Phone 95155 4148
Room S 309
Software verification, program analysis

Mgr. Pavel Ježek, Ph.D.

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

Researchers

Mgr. Martin Blicha, Ph.D.

Researcher | D3S
Martin Blicha
Phone 95155 4285
Software verification, model checking, SAT, SMT

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

Researcher | D3S
Vojtěch Horký
Phone 95155 4457
Room S 205
Software performance, automated performance testing, software performance documentation

External Members

RNDr. Ing. Vojtěch Aschenbrenner

External Member | D3S
Room S 205
Operating systems, computer networks, compilers, software performance

Bc. David Čepelík

External Member | D3S

RNDr. Jakub Daniel

External Member | D3S
Phone 95155 4121
Software verification, program analysis

Petra Novotná

Other Staff | KTIML
External Member | D3S
Phone 95155 4245
Room S 308

Mgr. Václav Pech

External Member | D3S

Pavel Šimerda

External Member | D3S

Other Staff

Ph.D. Students

Mgr. Vlastimil Dort

Ph.D. Student | D3S
Phone 95155 4235
Static program analysis, type systems

Mgr. Filip Kliber

Ph.D. Student | D3S
Phone 95155 4121
Room S 309
Programming, program analysis, compilers

RNDr. Filip Krijt

Ph.D. Student | D3S
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems

RNDr. Dominik Škoda

Ph.D. Student | D3S
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems