print · login   

Department of Software Science

  • Sebastian Junges will serve as PC co-chair for TACAS 2026, and Robbert Krebbers will serve as PC co-chair for ECOOP 2026 and 2027, and as associate chair for POPL 2026.
  • Marielle Stoelinga has been appointed as member of the Royal Holland Society of Sciences and Humanities.
  • More news..
click to view large image

Software has shaped every aspect of our modern lives. Providing programmers with tools that elevate their productivity, simplify code maintenance, and ensure that software is correct, secure, efficient, resilient and sustainable, is both a major scientific challenge and an enterprise with enormous societal relevance. Our mission is to conduct world-leading research on the use of high-level specifications and 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.