Proposal Support
Writing a competitive grant proposal is challenging, and studying funded proposals can help a great deal. Within VERSEN, we have often discussed sharing successful applications to help other software researchers, and this page is the result.
The researchers below have received a grant from NWO or the ERC on a topic within the area of interest of VERSEN, and have agreed to be listed here. If you are preparing a proposal for one of these schemes and think it would help to see one of these applications, feel free to contact the researcher directly. Please keep in mind that sharing is voluntary: it is up to each researcher to decide whether to share their proposal.
Have you received a grant in one of these (or other) schemes, and would you like to be added to this list? Or did we list something incorrectly? Please contact us at info@versen.nl. This overview is updated periodically.
Last updated: September 2026.
NWO Open Competition ENW
ENW-M
| Year | Researcher(s) | Proposal |
|---|---|---|
| 2020 | Jurriaan Rot (Radboud University) | Modular Construction and Analysis of Distributive Laws for Programming Language Semantics |
| 2020 | Patricia Lago (Vrije Universiteit Amsterdam) and Vasilios Andrikopoulos (University of Groningen) | Sustainability-Aware Software Architecting for the Future Cloud (SustainableCloud) |
| 2021 | Peter Lammich (University of Twente) | VESPA: Verified, Efficient, and Secure Parallel Algorithms |
| 2022 | Marieke Huisman (University of Twente) | Pallas: Program Analysis for LLVM-IR and All its Source languages |
| 2023 | Frits Vaandrager (Radboud University) and Petra van den Bos (University of Twente); please contact Frits Vaandrager | Evidence-Driven Black-Box Checking (EVI) |
| 2023 | Anton Wijs and Michel Reniers (Eindhoven University of Technology) | GUESS: GPU Enhanced Synthesis of Supervisory controllers |
ENW-XL
| Year | Researcher(s) | Proposal |
|---|---|---|
| 2023–2024 | Jorge Pérez (University of Groningen) | Cyclic Structures in Programs and Proofs: New Harmonies of Theory and Praxis |
NWO Talent Programme
Veni
| Year | Researcher(s) | Proposal |
|---|---|---|
| 2020 | Jesper Cockx (Delft University of Technology) | A trustworthy and extensible core language for Agda |
| 2022 | Clemens Dubslaff (Eindhoven University of Technology) | Quasi Decision Diagrams for Symbolic Verification and Explainability |
| 2023 | Thomas Neele (Eindhoven University of Technology) | Explainable Formal Methods with Certificates |
| 2023 | Tobias Kappé (Open Universiteit) | Code versus Flowcharts: Characterising Expressible Behaviour in Operational Semantics |
| 2024 | Siân Brooke (University of Amsterdam) | From Exclusion to Empowerment: AI Tools for Inclusive Programming |
Vidi
| Year | Researcher(s) | Proposal |
|---|---|---|
| 2018 | Jorge Pérez (University of Groningen) | Unifying Correctness for Communicating Software |
| 2019 | Cynthia Kop (Radboud University) | From theory to application |
| 2022 | Jurriaan Rot (Radboud University) | Approximation, Abstraction and Apartness in Automata Learning (APPLE) |
| 2022 | Arnd Hartmanns (University of Twente) | Trustworthy Analysis of Stochastic Timed Systems (TruSTy) |
| 2023 | Robbert Krebbers (Radboud University) | New programming languages for the development of correct concurrent software |
Vici
| Year | Researcher(s) | Proposal |
|---|---|---|
| 2016 | Marieke Huisman (University of Twente) | Mercedes: Maximal Reliability of Concurrent and Distributed Software |
| 2019 | Andy Zaidman (Delft University of Technology) | TestShift: A Socio-Technical Shift in Software Testing |
European Research Council (ERC)
Consolidator Grant
| Year | Researcher(s) | Proposal |
|---|---|---|
| 2019 | Mariëlle Stoelinga (University of Twente) | CAESAR: Integrating Safety and Cybersecurity through Stochastic Model Checking |
| 2024 | Robbert Krebbers (Radboud University) | COCONUT: Developing Correct Concurrent Software Using Types |
Advanced Grant
| Year | Researcher(s) | Proposal |
|---|---|---|
| 2018 | Joost-Pieter Katoen (RWTH Aachen University) | Formal Reasoning about Probabilistic Programs: Breaking New Ground for Automation |