print · login   

Department of Software Science

  • The Explainable synthesis of supervisory controllers (ExSyn) project by Dennis Hendriks and Frits Vaandrager, in collaboration with ASML, has been granted subsidy by Holland High Tech (TKI HTSM).
  • Robbert Krebbers received a VIDI grant on New programming languages for the development of correct concurrent software.
  • Mairieli won two awards at CBSoft 2024: (1) distinguished reviewer award at the education track of the 38th Brazilian Symposium on Software Engineering (SBES), and (2) distinguished paper award at the WBots workshop.
  • The paper A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs by Marnix Suilen, Marck van der Vegt and Sebastian Junges has won the best paper award at CONCUR 2024.
  • More news..
click to view large image

Our mission is to conduct world-leading research on the use of models for design and analysis of software, bridging the gap between theory and applications. We have expertise covering a broad range of topics concerning analysis of computer-based systems, mathematical foundations, and software construction. We collaborate with stakeholders from industry and other application areas, trying to understand how our research can contribute to solving real-world problems. Our group is member of the IPA, the Dutch Institute for Programming research and Algorithmics, partner of ESI, and supports VERSEN, the Dutch National Association for Software Engineering. TOP Software Technology is a spin-off company founded by members of our group.