ACM Fellows
USA - 2013
citation
For contributions to languages and systems that use information flow for implementing secure computing systems.
citation
For contributions to languages and systems that use information flow for implementing secure computing systems.