Formal Methods group news

Frank de Boer appointed professor of Software Correctness

On 15 February 2008 CWI researcher Frank de Boer has been appointed professor of Software Correctness at Leiden University. At the Leiden Institute of Advanced Computer Science (LIACS) he is part of the research cluster Foundation of Software Technology. De Boer's research concentrates on the integration of testing and verification techniques for the validation of component-based and object-oriented software. He will also be active in the organization of the BSc in Computer Science at Leiden University.

Better internet connections possible by means of formal methods

A reliable internet connection − that is what users are looking for. Bahareh Badban, PhD student at CWI, studied methods to improve TCP, one of the most important protocols for Internet applications. She will defend her thesis 'Verification Techniques for Extensions of Equality' on 7 September 2006 at the Vrije Universiteit Amsterdam.

FOCUS and GLANCE subsidy for CWI

NWO granted two FOCUS subsidies to CWI researchers. FOCUS is the open part of the Bsik programme BRICKS, which has been developed by CWI and NWO Physical Sciences to stimulate fundamental computer science research. The programme will deliver important building blocks for the computer of the future.

Jan Willem Klop new KNAW member

CWI's Prof. dr. Jan Willem Klop has been elected as a member of the KNAW (Royal Netherlands Academy of Arts and Sciences). Klop is researcher at CWI and the Catholic University Nijmegen, and professor of Applied Logic at the Vrije Universiteit in Amsterdam. In 2002, he received a doctor honoris causa degree at the English University of East Anglia. He cooperated with Jan Bergstra and Jos Baeten on the development of process algebra (ACP). Currently he works in the area of term rewriting systems, amongst others as co-author of the impressive book 'Term Rewriting Systems'.