Department of Software Science

• Robbert Krebbers is set to receive a consolidator grant from the European Research Council (ERC) for a project on Developing Correct Concurrent Software Using Types (COCONUT).
• The Explainable synthesis of supervisory controllers (ExSyn) grant proposal by Dennis Hendriks and Frits Vaandrager, in collaboration with ASML, has been granted subsidy by Holland High Tech (TKI HTSM).

• Wietze Koops (Graduated MFOCS Student) won two awards for his master thesis: The KHMW Young Talent Award for Computer Science and the BNAIC/BeNeLearn Best Thesis Award from the BNVKI. In his thesis, Wietze combined two classical AI topics: A* search and DEC-POMDP planning.
• More news..

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.