Fellow
Denmark – 2005
CITATION

For contributions to formal methods and for international leadership.