Zaměstnanci
Docent
Dynamic Program Analysis, Measurement Methodology, Performance Modeling
e-mail: bulej@d3s.mff.cuni.cz
telefon: +420 951 554 189
Profesor
Research on dynamic architectures for collective self-adaptive systems and QoS guarantees
e-mail: tomas.bures@matfyz.cuni.cz
telefon: +420 95155 4236
Vědecký pracovník
Performance Unit Testing, Performance Documentation
e-mail: horky@d3s.mff.cuni.cz
telefon: +420 951 55 4457
Docent
Machine learning, self-adaptive systems, parallel GPU computing
e-mail: krulis@d3s.mff.cuni.cz
telefon: +420 951 554 193
Docent
Automated Verification of Software, Testing and Debugging Concurrent Programs
e-mail: parizek@d3s.mff.cuni.cz
telefon: +420 95155 4148
Odborný asistent
Programming Systems and Languages, History and Philosophy of Computing
e-mail: petricek@d3s.mff.cuni.cz
Emeritní profesor
Collective self-adaptive systems and formal methods
e-mail: plasil@d3s.mff.cuni.cz
telefon: +420 951 554 266
Profesor
Software Performance, Performance Awareness
e-mail: petr.tuma@d3s.mff.cuni.cz
telefon: +420 951 554 267
Studenti
Doktorand
Programovací jazyky, Spolehlivost
e-mail: kliber@d3s.mff.cuni.cz
telefon: +420 951 554 121
Doktorand
Proof Assistants, Type Systems, Programming Systems and Languages
e-mail: verter@d3s.mff.cuni.cz
