Department of Distributed and Dependable Systems

School of Computer Science, Faculty of Mathematics and Physics, Charles University

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.

Studying or Working With Us

Are you an existing or a prospective student?

Are you a researcher or a practitioner?

News From the Department

The Unix Executable as a Smalltalk Method: And Its Implications for Unix-Smalltalk Unification

9 October 2025

Our paper The Unix Executable as a Smalltalk Method: And Its Implications for Unix-Smalltalk Unification by J. Jakubovic has been accepted to Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software.

Denicek: Computational Substrate for Document-Oriented End-User Programming

27 September 2025

Our paper Denicek: Computational Substrate for Document-Oriented End-User Programming by T. Petricek, J. Edwards has been accepted to Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology.

Combining Static Analysis Techniques for Program Comprehension Using Slicito

1 April 2025

Our paper Combining Static Analysis Techniques for Program Comprehension Using Slicito by R. Husák, J. Kofroň, F. Zavoral has been accepted to 33rd International Conference on Program Comprehension (ICPC).

A Pragmatic Approach to Replay Compilation

1 January 2025

Our paper A Pragmatic Approach to Replay Compilation by A. Pečimúth, D. Leopoldseder, P. Tůma has been accepted to Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025).