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