Greg Morrisett

ACM Fellows

USA - 2013

citation

For contributions to mathematically-based methods for ensuring the efficient implementation and verification of practical programming languages.