NWO Pionier Project: Program Security and Correctness

In June 2002 the national science funding agency in the Netherlands NWO awarded a prestiguous ``Pionier'' project on Program Correctness and Security to Bart Jacobs, leader of the Security of Systems group of the Computer Science Department of the University of Nijmegen.

This grant runs for five years, starting in september 2002. It involves about 1.8 million Euro, including matching contributions for the University of Nijmegen. Researchers on this Pionier project are (currently) Jaap-Henk Hoepman, Flavio Garcia, Ichiro Hasuo Wolter Pieters, Peter van Rossum

For more information, see the press announcement of NWO (in dutch, local copy), or the original project proposal.

Last modified: Thu Mar 17 13:05:48 MET 2005