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

CHC Model Validation with Proof Guarantees

1 January 2024

Our paper CHC Model Validation with Proof Guarantees by R. Otoni, M. Blicha, P. Eugster, N. Sharygina has been accepted to iFM 2023.

Data Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners

1 January 2024

Our paper Data Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners by P. Parízek, L. Hermann has been accepted to ICSE 2024.

Early Stopping of Non-productive Performance Testing Experiments Using Measurement Mutations

6 September 2023

Our paper Early Stopping of Non-productive Performance Testing Experiments Using Measurement Mutations by M. Abdullah, L. Bulej, T. Bureš, V. Horký, P. Tůma has been accepted to 2023 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA).

Distinguished paper award

23 August 2023

CAV Distinguished Paper Award 2023 was given to Martin Blicha, Konstantin Britikov, and Natasha Sharygina for the paper The Golem Horn Solver.

Best paper award

12 July 2023

Best paper award at the 28th ACM (ITiCSE 2023) conference was given to Brom, Drobná, Hannemann, Ježek, Kačerovská and Volná for Principles of Computers and the Internet – Model Lessons for Primary School Children: Experience Report.

Technical Dimensions of Programming Systems

15 February 2023

Our paper Technical Dimensions of Programming Systems by J. Jakubovic, J. Edwards, T. Petricek has been accepted to The Art, Science, and Engineering of Programming.