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

Conference ‹Programming› 2025

6 June 2025

We are hosting The International Conference on the Art, Science, and Engineer­ing of Programming. Register to attend two keynotes, six workshops, social events and two days of paper presentations!

Next D3S seminar by Adriana Jubera

22 April 2025

The next D3S seminar will be on Tuesday, April 22 at 14:00. Adriana Jubera will talk about Enhancing ECG Signal Classification with Recurrent Neural Network.

Golem: a flexibile and efficient solver for constrained Horn clauses

26 March 2025

Our paper Golem: a flexibile and efficient solver for constrained Horn clauses by M. Blicha, K. Britikov, N. Sharygina has been accepted to Formal Methods in System Design.

Validation of CHC Satisfiability with ATHENA

13 February 2025

Our paper Validation of CHC Satisfiability with ATHENA by R. Otoni, M. Blicha, P. Eugster, N. Sharygina has been accepted to Form. Asp. Comput..

Overhead Comparison of Instrumentation Frameworks

7 May 2024

Our paper Overhead Comparison of Instrumentation Frameworks by D. Reichelt, L. Bulej, R. Jung, A. van Hoorn has been accepted to Companion of the 15th ACM/SPEC International Conference on Performance Engineering.

Robin: A Systematic Literature Mapping Management Tool

1 January 2024

Our paper Robin: A Systematic Literature Mapping Management Tool by M. Abdullah, M. Töpfer, T. Bureš has been accepted to Proceedings of SEAA 2024, Paris, France.