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.
Like what we’re doing? Come join us!
The application deadline for the PhD program is April 30. Pick your advisor and apply.
Best Paper Award
Best poster award at the 20th IEEE International Conference on Software Architecture (ICSA) 2023 was granted to Daniele Di Pompeo, Michele Tucci for the paper Multi-Objective Software Architecture Refactoring driven by Quality Attributes.
Editors Choice Award
Editors choice award at the International Conference on the Art, Science, and Engineering of Programming (PROGRAMMING) 2023 was granted to Joel Jakubovic, Jonathan Edwards, Tomas Petricek for the paper Technical Dimensions of Programming Systems
10-year most influential paper award at the 20th IEEE International Conference on Software Architecture (ICSA) 2023 was granted to Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka, Jaroslav Keznikl, Michal Kit, František Plášil for the paper DEECo: an Ensemble-Based Component System.
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs has been accepted to Proceedings of JPF Workshop 2022.
GraalVM Compiler Benchmark Results Dataset (Data Artifact)
GraalVM Compiler Benchmark Results Dataset (Data Artifact) has been accepted to Companion Proceedings of the ACM/SPEC International Conference on Performance Engineering.
SMT-based verification of program changes through summary repair
SMT-based verification of program changes through summary repair has been accepted to Formal Methods in System Design.
Technical Dimensions of Programming Systems
Technical Dimensions of Programming Systems has been accepted to The Art, Science, and Engineering of Programming.