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 …

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

Michiel Helvensteijn in winning team Moving Story

Moving Story is the winning project of Startup Weekend Enschede (15-17 March 2013), a competition for startup ideas through mobile and web applications. Moving Story is a social platform for sharing stories …

Immo Grabe defends thesis on formal methods for parallel programs

Better QoS for distributed software with stochastic and formal methods

Reusability of software is a hot topic nowadays. It is easier, cheaper and more efficient to reuse parts of existing software in order to adjust or incorporate new functionalities, than to design …

New formal methods for software reconfiguration in cloud computing

CWI improves coordination technology to combine large internet services

Research guarantees proper integration of software components