Faculty / StaffContacts...

Assistant professor
Model-based Testing
Assistant professor
Dynamic Program Analysis, Measurement Methodology, Performance Modeling
Associate professor
Chair of the department
Smart Cyber-Physical Systems and IoT
Research scientist
Operating Systems
Associate professor
Scientific secretary
Smart Cyber-Physical Systems and IoT
Lecturer
Assistant professor
Analysis of Dynamic Languages, Interpolation Techniques
Lecturer
Data Structures, Statistics
Petra Novotná
Secretary
Assistant professor
Automated Verification of Software, Testing and Debugging Concurrent Programs
Professor
Smart Cyber-Physical Systems and IoT
Associate professor
Vice-Chair of the department
Performance Measurement and Analysis, Performance Awareness

Ph.D. studentsContacts...

Automated Verification of Software
Performance Unit Testing, Performance Documentation
Interpolation Techniques
Ondrej Kováč
Andrej Podzimek
Requirements Processing Methods and Tools

External membersContacts...

Former members

Adámek J., Alexandr J., Babka V., Bálek D., Bešta M., Brada P., Brčak A., Buble A., David O., Fadljevic M., Gergič J., Grof M., Hauzar D., Hoa D. N., Holub V., Gerostathopoulos I., Janeček R., Kalibera T., Kapová L., Keznikl J., Kleindienst J., Kroha P., Libič P., , Mach M., Malohlava M., Marek L., Martinec T., Mencl V., Mikle O., Mikušík D., Muradyan A., Nesen M., Opluštil T., Panuška P., Poch T., Pop T., Pospíšil R., Procházka M., Šerý O., Šimko V., Višňovský S.

Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>d3s.mff.cuni.cz


  • How to find us?
Modified on 2016-04-05