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š

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

Scientific Secretary

Petr Hnětynka

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

Secretary

Petra Novotná

Petra Novotná

Academic Staff

  • Professors
  • Associate Professors
  • Assistant Professors
  • Lecturers

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

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

prof. Ing. Petr Tůma, Dr.

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

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

Associate Professor | D3S (KDSS)
Phone 95155 4236
Room S 212
Tomáš Bureš
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems

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

Associate Professor | D3S (KDSS)
Phone 95155 9043
Room S 212
Petr Hnětynka
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems

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

Assistant Professor | D3S (KDSS)
Phone 95155 4189
Room S 205
Lubomír Bulej
Dynamic program analysis, software performance evaluation and testing

RNDr. Jan Kofroň, Ph.D.

Assistant Professor | D3S (KDSS)
Phone 95155 4285
Room S 309
Jan Kofroň
Software verification, model checking

RNDr. Pavel Parízek, Ph.D.

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

Mgr. Pavel Ježek, Ph.D.

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

RNDr. Alena Koubková, CSc.

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

Researchers

Rima Al Ali

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

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

Researcher | D3S (KDSS)
Phone 95155 4457
Room S 205
Vojtěch Horký
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

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