Staff

Associate professor
Dynamic Program Analysis, Measurement Methodology, Performance Modeling
phone: +420 951 554 189
Associate 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
Assistant professor
Software Verification
phone: +420 951 554 285
Lecturer
phone: +420 95155 4268
Secretary
phone: +420 951 554 245
Assistant 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
Uncertainty in cyber-physical systems
phone: +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
Programming Languages, Reliability
phone: +420 951 554 121
Ph.D. student
Edge Cloud
phone: 951 554 235
Ph.D. student
Use-case and natural language-based design of dynamic systems
Ph.D. student
Self-adaptation in collective self-adaptive systems

External collaborators

External collaborator
e-mail: v@asch.cz
External collaborator
External collaborator