People at D3S

Staff

Assistant professor
Dynamic Program Analysis, Measurement Methodology, Performance Modeling
phone: +420 95155 4267
Associate professor
Research on dynamic architectures for collective self-adaptive systems and QoS guarantees
phone: +420 95155 4236
Associate professor, Scientific secretary
Research on dynamic architectures of service-based IoT and CPS systems
phone: +420 95155 4143
Researcher
Performance Unit Testing, Performance Documentation
phone: +420 95155 4189
Lecturer
phone: +420 95155 4235
Assistant professor
Source code verification
phone: +420 95155 4285
Lecturer
Data Structures, Statistics
phone: +420 95155 4268
Petra Novotná
Secretary
phone: +420 95155 4245
Assistant professor
Automated Verification of Software, Testing and Debugging Concurrent Programs
phone: +420 95155 4148
Professor
Research on collective self-adaptive systems and formal methods
phone: +420 95155 4266
Professor, Chair of the department
Performance Measurement and Analysis, Performance Awareness
phone: +420 95155 4267

Students

Research on uncertainty in cyber-physical systems
phone: +420 95155 4235
Martin Blicha
Code Model Checking, source code verification and analysis, logic
phone: +420 95155 4285
Jakub Daniel
Automated Verification of Software
phone: +420 95155 4285
Vlastimil Dort
Automated Verification of Software
phone: +420 95155 4235
Filip Kliber
Programming Languages, Reliability
phone: +420 95155 4121
Filip Krijt
Research on coordination in collective self-adaptive systems
phone: +420 95155 4235
Research on Edge cloud
phone: +420 95155 4235
Antonín Steinhauser
Security auditing
phone: +420 95155 4267
Dominik Škoda
Research on self-adaptation in collective self-adaptive systems
phone: +420 95155 4235
Jiří Vinárek
Research on use-case and natural language-based design of dynamic systems
phone: +420 95155 4121