News

CWI publishes news item about its research, education and the social impact of this research on a regular basis. In addition to news items, we also publish more extensive stories about high-profile research or about CWI contributing to tackling social issues.

Cryptography in a quantum world

Cryptography is the art of secrecy. Nearly as old as the art of writing itself, it concerns itself with one of the most fundamental problems faced by any society whose success crucially …

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 …

Bert Gerards appointed Adjunct Professor at the University of Waterloo, Canada

From 1 January 2008 till 31 December 2012 Bert Gerards is appointed as Adjunct Professor at the Department of Combinatorics and Optimization of the University of Waterloo, Waterloo, Ontario. It's an honorary …

Keeping fairness alive. Design and format verification of optimistic fair exchange protocols

In his PhD thesis, Keeping fairness alive. Design and format verification of optimistic fair exchange protocols, Mohammad Torabi Dashti studied two aspects: the design and the verification of optimistic 'fair exchange protocols'.

CWI: Work in progress

CWI is in full swing. Our employees literally get more room to do fundamental research in societally relevant themes. In the summer of 2009 4000 additional square meters will become available for …

CWI Internships programme

To strengthen its mission and international position CWI launches a new programme: the CWI Internships. This programme facilitates 3-month visits to CWI by excellent PhD students from abroad (all expenses paid). We …

Multirate numerical integration of ordinary differential equations

Numerous phenomena from different areas of science and technology are modelled by systems of ordinary differential equations (ODEs). ODEs describe the motion of a body by its position and velocity; the evolution …

Microsoft Research "Beyond Search" Award for CWI research in sponsored search auctions

On December 6 2007, Microsoft Research has awarded $50.000 to CWI researchers Sander Bohte, Nicole Immorlica, Vangelis Markakis and Han La Poutré for research on Socially Structured User Behavior and Externalities in …