News
Computer Security group news
Share this page
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
Astefanoaei wins Best Paper Award
PhD student Lacramioara Astefanoaei (CWI) won the Best Paper Award 2008 during the 11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008).
Read more
Trust4All awarded with bronze Achievement Award
The project Trust4All, with CWI contributions of Frank de Boer and Farhad Arbab, has won the bronze Achievement Award 2008 of Information Technology for European Advancement 2.
Read more
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 …
Read more
