January 2014 Vol. 26/No.1
By CRA Staff
Ellen Zegura: For contributions to communication and computation in intermittingly-connected networks.
Greg Morrisett: For contributions to mathematically-based methods for ensuring the efficient implementation and verification of practical programming languages.
View the press release at: http://www.acm.org/press-room/news-releases/2013/fellows-2013
1828 L STREET, NW SUITE 800, WASHINGTON, DC 20036 | P: 202-234-2111 | F: 202-667-1066