News
Computer Security group news
Share this page
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. …
Read more
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 …
Read more
Immo Grabe defends thesis on formal methods for parallel programs
Read more
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 …
Read more
New formal methods for software reconfiguration in cloud computing
Read more
CWI improves coordination technology to combine large internet services
Read more
Research guarantees proper integration of software components
Read more
Formal techniques help software developers delivering correct agent-based software by design
Read more