Fellow
France – 2015
CITATION

For contributions to safe, high-performance functional programming languages and compilers, and to compiler verification.