Department of Software Science

The paper Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise, co-authored by Thom Badings, Nils Jansen, and Marielle Stoelinga, was selected for a distinguished paper award at AAAI 2022!
More news..

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