Prestigious TOP-grant awarded

The Accelerated Verification and Verification Accelerated (AVVA) proposal by Jan Friso Groote, Tim Willemse and Anton Wijs, and Rob van Nieuwpoort (eScience Centre/UvA) has been granted by the Dutch Science Foundation NWO. The project provides funding for two PhD students and a postdoc for fundamental research on accelerating model checking using hypercomputers and verifying programs written to run on such hypercomputers.