Zaměstnanci

Docent
Dynamic Program Analysis, Measurement Methodology, Performance Modeling
telefon: +420 951 554 189
Profesor
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
Docent
Software Verification
telefon: +420 951 554 285
Lektor
telefon: +420 95155 4268
Sekretářka
telefon: +420 951 554 245
Docent
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
Self-adaptation in collective self-adaptive systems
Doktorand
Use-case and natural language-based design of dynamic systems

Externí spolupracovníci

Adjunct Lecturer
e-mail: v@asch.cz
Avast Software, Prague