Department of Software Science

Our group has expertise covering a broad range of topics concerning software construction and analysis. We do research on:

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