Department of Software Science

We have expertise covering a broad range of topics concerning software construction and analysis. Our group is well-known for research on:

• model learning, model-based testing, and model checking
• program verification using proof assistants
• combining formal verification and machine learning
• model-based software engineering
• domain specific languages
• functional programming and HPC/array computing
• mathematical foundations of software: type theory, concurrency theory, co-algebras, and term rewriting

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 TNO 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.