Fellow
Netherlands – 2012
CITATION

For contributions to artificial intelligence with applications to automated reasoning and planning.