Staff

Lubomír Bulej
Assistant professor
Dynamic Program Analysis, Measurement Methodology, Performance Modeling
email: bulej@d3s.mff.cuni.cz
phone: +420 95155 4267

Tomáš Bureš
Associate professor
Research on dynamic architectures for collective self-adaptive systems and QoS guarantees
email: bures@d3s.mff.cuni.cz
phone: +420 95155 4236

Petr Hnětynka
Associate professor, Scientific secretary
Research on dynamic architectures of service-based IoT and CPS systems
email: hnetynka@d3s.mff.cuni.cz
phone: +420 95155 4143

Vojtěch Horký
Researcher
Performance Unit Testing, Performance Documentation
email: horky@d3s.mff.cuni.cz
phone: +420 95155 4189

Assistant professor
Source code verification
email: jan.kofron@d3s.mff.cuni.cz
phone: +420 95155 4285

Alena Koubková
Lecturer
Data Structures, Statistics
email: koubkova@d3s.mff.cuni.cz
phone: +420 95155 4268

Assistant professor
Automated Verification of Software, Testing and Debugging Concurrent Programs
email: parizek@d3s.mff.cuni.cz
phone: +420 95155 4148

František Plášil
Professor
Research on collective self-adaptive systems and formal methods
email: plasil@d3s.mff.cuni.cz
phone: +420 95155 4266

Petr Tůma
Professor, Chair of the department
Performance Measurement and Analysis, Performance Awareness
email: tuma@d3s.mff.cuni.cz
phone: +420 95155 4267
Students

Research on uncertainty in cyber-physical systems
email: alali@d3s.mff.cuni.cz
phone: +420 95155 4235

Martin Blicha
Code Model Checking, source code verification and analysis, logic
email: blicha@d3s.mff.cuni.cz
phone: +420 95155 4285

Jakub Daniel
Automated Verification of Software
email: daniel@d3s.mff.cuni.cz
phone: +420 95155 4285

Vlastimil Dort
Automated Verification of Software
email: dort@d3s.mff.cuni.cz
phone: +420 95155 4235

Filip Kliber
Programming Languages, Reliability
email: kliber@d3s.mff.cuni.cz
phone: +420 95155 4121

Filip Krijt
Research on coordination in collective self-adaptive systems
email: krijt@d3s.mff.cuni.cz
phone: +420 95155 4235

Dominik Škoda
Research on self-adaptation in collective self-adaptive systems
email: skoda@d3s.mff.cuni.cz
phone: +420 95155 4235

Jiří Vinárek
Research on use-case and natural language-based design of dynamic systems
email: vinarek@d3s.mff.cuni.cz
phone: +420 95155 4121