Description

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.

More

 

News

Symposium celebrating life and achievements of Farhad Arbab

Symposium celebrating life and achievements of Farhad Arbab

On Friday 25 May 2018 CWI organizes a farewell symposium on the occasion of the retirement of Farhad Arbab, ‘It's All About Coordination’. Farhad Arbab has been a researcher at CWI for 28 years and a professor at Leiden University since 2004. He is most known for his work on coordination languages in software engineering, particularly Reo, and in concurrency and software composition.

Symposium celebrating life and achievements of Farhad Arbab - Read More…

Commit2Data grant for better, faster and real-time adaptable big data analysis

Commit2Data grant for better, faster and real-time adaptable big data analysis

To improve parallel processing of big data, NWO granted the project ‘Evolutionary changes in Distributed Analysis’ (ECiDA) within their Commit2Data programme. The research partners in this project – CWI being one of them – will develop a platform to support 'evolving data-intensive application pipelines’, making big data analysis safer, better, faster and adaptable in real-time.

Commit2Data grant for better, faster and real-time adaptable big data analysis - Read More…

Current events

16th International Conference on Formal Aspects of Component Software (FACS 2019)

  • 2019-10-23T09:00:00+02:00
  • 2019-10-25T17:00:00+02:00
October 23 Wednesday

Start: 2019-10-23 09:00:00+02:00 End: 2019-10-25 17:00:00+02:00

Room L016 at CWI, Science Park 123 in Amsterdam

Call for Papers: FACS 2019
FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.

Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones.

Invited speakers:

  • Wan Fokkink (Professor of Theoretical Computer Science, Vrije Universiteit Amsterdam)
  • Carlo Ghezzi (Professor of Software Engineering, Polytechnic University of Milan)
  • Kim Larsen (Professor of Computer Science, Aalborg University)

Members

Associated Members

Publications

Software

Current projects with external funding

  • Evolutionary changes in Distributed Analysis (ECiDA)

Related partners

  • Anchormen
  • Vitens