News

Formal techniques help software developers delivering correct agent-based software by design

Cum laude for thesis on Kleene Coalgebra to improve software quality

Astefanoaei wins Best Paper Award

PhD student Lacramioara Astefanoaei (CWI) won the Best Paper Award 2008 during the 11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008).

Trust4All awarded with bronze Achievement Award

The project Trust4All, with CWI contributions of Frank de Boer and Farhad Arbab, has won the bronze Achievement Award 2008 of Information Technology for European Advancement 2.

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 …

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

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 …

Better methods to guarantee software quality

The complexity of software increases while at the same time its quality level becomes more important: Safety-critical systems should never fail and commercial products have to perform well to keep the customers …