Kees Verstoep

Scientific Programmer

drs. C. (Kees) Verstoep Faculty of Sciences, Dept. of Computer Science De Boelelaan 1081a 1081 HV Amsterdam, The Netherlands Room P4.32 e-mail: versto@cs.vu.nl tel: +31 (20) 598 7765

Current Projects

• GreenClouds
• Distributed large-scale model checking
• DAS-4: Distributed ASCI Supercomputer 4
• DAS-3: Distributed ASCI Supercomputer 3
• StarPlane: the multi-10Gb/s lightpath interconnect for DAS-3 and DAS-4
• Intertain Lab

Past Projects

• Virtual Laboratory for e-Science
• Ibis: Efficient Java-based Grid computing
• GridLab: A Grid Application Toolkit and Testbed
• LFC: Fast Communication for Myrinet
• Albatross: Wide-area Supercomputing
• DAS-2: Distributed ASCI Supercomputer 2
• DAS-1: Distributed ASCI Supercomputer 1
• The Amoeba Distributed Operating System

Papers

Most recent:

• Embedded Network Protocols for Mobile Devices (FMICS'10, Antwerp, Sep 2010).
  This paper discuss the design and analysis of three new networking protocols for use in mobile devices. Distributed model checking enables scaling up the required analysis and is shown to be efficient for these practical examples as well.
• Efficient Large-Scale Model Checking (IPDPS'09, Rome, May 2009; sheets).
  This paper discusses optimizations to the DiVinE model checker, allowing it to achieve very good performance on large-scale systems (tested up to 256 cores), both on a single DAS-3 cluster and a DAS-3 grid interconnected by StarPlane.
• Experiences with Fine-grained Distributed Supercomputing on a 10G Testbed(CCGrid, Lyon, 2008).
  This paper is on solving the boardgame Awari on DAS-3/StarPlane.
• Journal article: Cluster Communication Protocols for Parallel-programming Systems(Transactions on Computer Systems, 2004).
• Most other papers that I co-authored can be found via Google scolar or Microsoft Academic Search.

Personal

• On February 15, 2006, I have married my lovely bride Liesbeth Verhoef.
• To our great joy we are now a family of four, with the births of our two marvellous children: Marlieke born on October 17, 2006, and our son Roeland born on November 15, 2008.
• I started doing wine tastings as a hobby a couple of years ago, and besides being great fun, it turns out it actually pays off ;-)
  Pictures of the Duoro trip I made as winner of the Graham's Trophy 2003 Port wine tasting contest are in my photo collection.