Zaměstnanci

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

Studenti

Ph.D. student
Uncertainty in cyber-physical systems
telefon: +420 95155 4235
Ph.D. student
Software verification
Ph.D. student
Automated Verification of Software
Ph.D. student
Automated Verification of Software
Ph.D. student
Programovací jazyky, Spolehlivost
telefon: +420 951 554 121
Ph.D. student
Edge Cloud
Ph.D. student
Use-case and natural language-based design of dynamic systems
Ph.D. student
Self-adaptation in collective self-adaptive systems

Externí spolupracovníci