News
Computer Security group news
Share this page
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
Cum laude for thesis on Kleene Coalgebra to improve software quality
Read more