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 and model-based testing
• program verification using proof assistants
• combining formal verification and machine learning
• model-based software engineering
• functional programming and domain specific languages
• 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.