Leader of the group Formal Methods: Frank de Boer.

In the Formal Methods group, our research involves finding solutions to highly pragmatic real-world problems by reducing their complexity through the elegance and beauty of mathematics. We formulate problems to reveal their complexity and make them amenable to elegant solutions.

Our work yields technological foundations that underpin software engineering and service-oriented computing. With everything we do, we aim to add stability and reliability to those foundations and so to the third-party applications built on them. In this way, we cut the costs of technological failure for business and society and make life easier for programmers, developers and ultimately users.

Our no-nonsense approach relies on the smooth transfer of knowledge between senior and junior researchers, reaching back through our rich history as one of CWI’s original research groups. Our work is grounded in our collaborations with partners in business and industry.




Best Paper Award for Training DevOps engineers

Best Paper Award for Training DevOps engineers

Researchers from CWI's Formal Methods group won the Best Paper Award in the 6th European Conference on Service-Oriented and Cloud Computing (ESSOC) in September 2017. They were awarded the prize for their work on 'Human-in-the-Loop Simulation of Cloud Services'. The researchers are one of the first to carry out live, interactive simulation of DevOps engineers inside simulated cloud environments.

Best Paper Award for Training DevOps engineers - Read More…

Current events

Third International Workshop on the ABS Modeling Language and Tools

  • 2019-05-13T09:00:00+02:00
  • 2019-05-15T13:00:00+02:00
May 13 Monday

Start: 2019-05-13 09:00:00+02:00 End: 2019-05-15 13:00:00+02:00

Room L016/L017 at CWI, Science Park 123 in Amsterdam

This third International Workshop on the ABS Modeling Language and Tools serves the purpose to present and discuss the latest developments of the Abstract Behavioral Specification language and related research on programming models and analysis.

If you wish to participate (and possibly want to present related work), send an email to the local organizer: The registration deadline for participation is 30 April. If you want to give a presentation, please do inform the local organizer by 15 April.
A small attendance fee will be charged after the workshop to cover the costs of catering and conference dinner.

Attendance is subject to approval by the organizers

The program will be announced by April 19.
At one of the evenings we will organize a conference dinner


Associated Members



Current projects with external funding

  • Evolutionary changes in Distributed Analysis (ECiDA)

Related partners

  • Anchormen
  • Vitens