Fellow
Canada – 2009
CITATION

For contributions to program analysis of procedural, object-oriented and aspect-oriented programming languages.