We have expertise covering a broad range of topics concerning analysis of computer-based systems, mathematical foundations, and software construction:
We aim to bridge the gap between theory and practice through collaboration 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 (TNO), and supports VERSEN, the Dutch National Association for Software Engineering. TOP Software Technology is a spin-off company founded by members of our group.