News

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 …

GLANCE, VIEW and FOCUS subsidy for CWI researchers

NWO, the Netherlands Organisation for Scientific Research, has awarded subsidies to 17 computer science projects in four research programmes - CATCH, FOCUS, GLANCE and VIEW. CWI researchers participate in several projects and …

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