Staff

Associate professor
Dynamic Program Analysis, Measurement Methodology, Performance Modeling
phone: +420 951 554 189
Professor
Research on dynamic architectures for collective self-adaptive systems and QoS guarantees
phone: +420 95155 4236
Associate professor
phone: +420 95155 4143
Researcher
Performance Unit Testing, Performance Documentation
phone: +420 951 55 4457
Associate professor
Software Verification
phone: +420 951 554 285
Lecturer
phone: +420 95155 4268
Associate professor
Machine lerarning, self-adaptive systems, parallel GPU computing
phone: +420 951 554 193
Secretary
phone: +420 951 554 245
Associate professor
Automated Verification of Software, Testing and Debugging Concurrent Programs
phone: +420 95155 4148
Professor
Collective self-adaptive systems and formal methods
phone: +420 951 554 266
Professor
Software Performance, Performance Awareness
phone: +420 951 554 267

Students

Ph.D. student
Software verification
Ph.D. student
Automated Verification of Software
Ph.D. student
Automated Verification of Software
Ph.D. student
Edge Cloud
Ph.D. student
Programming Languages, Reliability
phone: +420 951 554 121
Ph.D. student
Edge Cloud
phone: 951 554 235
Ph.D. student
Self-adaptation in collective self-adaptive systems
Ph.D. student
Use-case and natural language-based design of dynamic systems

External collaborators

Avast Software, Prague