Our department is responsible for research and education in the advanced techniques for building reliable component-based software especially in the field of distributed and dependable systems, spanning from smart cyber-physical systems and IoT to cloud-based backends. Our research comprises advanced software architectures, adaptation, model-driven development, model-based testing, formal verification of software, performance measurement and modeling.
The vision pursued by our department is that of high-quality scientific research with strong industrial relevance, with the aim to enable rapid and cost-efficient production of complex and reliable software systems. To achieve this vision, our department actively collaborates on the national and international level with both academic and industrial partners.




New publication
Our paper
Interaction vs. Abstraction: Managed Copy and Paste
has been accepted to Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments.
New publication
Our paper
Technical Dimensions of Programming Systems
has been accepted to The Art, Science, and Engineering of Programming.
New publication
Our paper
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs
has been accepted to Proceedings of JPF Workshop 2022.
New publication
Our paper
AI Assistants: A Framework for Semi-Automated Data Wrangling
has been accepted to IEEE Transactions on Knowledge and Data Engineering.
Next D3S seminar by Tomáš Petříček
The next seminar on 2023-03-28
Tomáš Petříček: Cultures of Programming