print · source · login   

Department of Software Science

  • The Erasmus+ project Sustrainable - Promoting Sustainability as a Fundamental Driver in Software Development Training and Education, 2020-1-PT01-KA203-078646, in which the SWS group participates (Pieter Koopman) got funded.
  • The ICGT 2020 paper coauthored by Daniel Strüber was awarded with the EASST best paper award.
  • Nils Jansen and Frits Vaandrager received a grant, together with Gethin Norman from Glasgow University, from the Radboud-Glasgow Collaboration Fund, entitled Safe Planning with Artificial Intelligence, April 2020.
  • Nils Jansen received a grant within the NWO Open Competition call for the research proposal Provably Correct Policies for Uncertain Partially Observable Markov Decision Processes, March 2020.
  • More news..


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

An explicit aim is to bridge the gap between theory and practice through collaboration with stakeholders from industry and other application areas and to understand in what way the developed methods can contribute to solving real-world problems using the "Industry-as-a-Lab" approach. In particular, we apply our methods and techniques to cyber-physical systems in joint projects with industrial partners. 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.