Zaměstnanci

Docent
Dynamic Program Analysis, Measurement Methodology, Performance Modeling
Docent
Research on dynamic architectures for collective self-adaptive systems and QoS guarantees
telefon: +420 95155 4236
Docent
telefon: +420 95155 4143
Vědecký pracovník
Performance Unit Testing, Performance Documentation
telefon: +420 951 55 4457
Odborný asistent
Software Verification
telefon: +420 951 554 285
Lektor
telefon: +420 95155 4268
Sekretářka
telefon: +420 951 554 245
Odborný asistent
Automated Verification of Software, Testing and Debugging Concurrent Programs
telefon: +420 95155 4148
Profesor
Collective self-adaptive systems and formal methods
telefon: +420 951 554 266
Profesor
Software Performance, Performance Awareness
telefon: +420 951 554 267

Studenti

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

Externí spolupracovníci

Externí spolupracovník
e-mail: v@asch.cz
Externí spolupracovník
Externí spolupracovník
Externí spolupracovník