Staff
Associate professor
Dynamic Program Analysis, Measurement Methodology, Performance Modeling
e-mail: bulej@d3s.mff.cuni.cz
phone: +420 951 554 189
Professor
Research on dynamic architectures for collective self-adaptive systems and QoS guarantees
e-mail: tomas.bures@matfyz.cuni.cz
phone: +420 95155 4236
Lecturer
Learning Analytics, Qualitative Assessment in Education
e-mail: viktor.fuglik@matfyz.cuni.cz
Researcher
Performance Unit Testing, Performance Documentation
e-mail: horky@d3s.mff.cuni.cz
phone: +420 951 55 4457
Associate professor
Software Verification
e-mail: jan.kofron@d3s.mff.cuni.cz
phone: +420 951 554 285
Associate professor
Machine learning, self-adaptive systems, parallel GPU computing
e-mail: krulis@d3s.mff.cuni.cz
phone: +420 951 554 193
Associate professor
Automated Verification of Software, Testing and Debugging Concurrent Programs
e-mail: parizek@d3s.mff.cuni.cz
phone: +420 95155 4148
Assistant professor
Programming Systems and Languages, History and Philosophy of Computing
e-mail: petricek@d3s.mff.cuni.cz
Professor Emeritus
Collective self-adaptive systems and formal methods
e-mail: plasil@d3s.mff.cuni.cz
phone: +420 951 554 266
Professor
Software Performance, Performance Awareness
e-mail: petr.tuma@d3s.mff.cuni.cz
phone: +420 951 554 267
Students
Ph.D. student
Programming Languages, Reliability
e-mail: kliber@d3s.mff.cuni.cz
phone: +420 951 554 121
Ph.D. student
Proof Assistants, Type Systems, Programming Systems and Languages
e-mail: verter@d3s.mff.cuni.cz
