Greg Morrisett

Digital Library
photo
Award Winner
Greg Morrisett

ACM Fellows

USA - 2013

citation

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