News
Computer Security group news
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 …
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, …
