News

Matteo Mio wins Ackermann Award

Researcher Matteo Mio, who is currently hosted at CWI in the Formal Methods group as an ERCIM postdoctoral fellow, received the 2013 Ackermann Award for his PhD thesis 'Game Semantics for Probabilistic …

Kees Oosterlee new editor-in-chief of Journal of Computational Finance

Kees Oosterlee is the new Editor-in-Chief of The Journal of Computational Finance. This international refereed journal focuses on the advances in numerical and computational techniques in pricing, hedging and risk management of …

Two EU projects for Formal Methods group at CWI

At the end of August, the Formal Methods research group at CWI acquired two EU projects: Envisage and Upscale. At CWI, both FP7 projects each comprise two PhD students for three years. …

Streamers in lightning better understood by new mathematical model

Streamers - electrically conducting channels in gases like air - occur in the early stages of lightning, and in industrial applications.

Two CWI cryptographers honoured at CRYPTO 2013

During CRYPTO – one of the two leading crypto conferences in the world – two researchers from Centrum Wiskunde & Informatica (CWI) in Amsterdam were honoured: Ronald Cramer and Marc Stevens. The …

CWI releases software for detection of forged digital signatures

Cryptanalyst Marc Stevens from the Centrum Wiskunde & Informatica (CWI) in Amsterdam published on 15 August open source software that can detect and block forged digital signatures: CWI's hash collision detection library.

ERC Advanced Grant for CWI Fellow Lex Schrijver

CWI researchers Pemberton, Stevens and De Haan lecture at OHM 2013

CWI researchers Steven Pemberton, Marc Stevens and Robbert de Haan will give four lectures at the OHM conference, which takes place from 31 July to 4 August 2013 in Geestmerambacht, the Netherlands.