Staff

Postdoc
Software verification
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 learning, 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
Assistant professor
Programming Systems and Languages, History and Philosophy of Computing
Professor Emeritus
Collective self-adaptive systems and formal methods
phone: +420 951 554 266
Professor
Software Performance, Performance Awareness
phone: +420 951 554 267
Professor
Programming Systems and Languages

Students

Ph.D. student
Machine Learning
Ph.D. student
Automated Verification of Software
Ph.D. student
Edge Cloud
Ph.D. student
High-performance & GPGPU computing
Ph.D. student
Programming Languages, Reliability
phone: +420 951 554 121
Ph.D. student
AI — ML, DL, Planning; Edge Cloud
Ph.D. student
GPGPU computing
Ph.D. student
Machine Learning

External collaborators

Adjunct Lecturer
Operating Systems, Storage, Networking
SUSE, Prague
SUSE, Prague
Kernkonzept, Dresden
Avast Software, Prague
Freelance Lecturer