Two CRA Board members named ACM Fellows
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