CRCS | Center for Research on Computation and Society
CRCS | Center for Research on Computation and Society
CRCS | Center for Research on Computation and Society
CRCS | Center for Research on Computation and Society

Search

Sort & Filters

Filters

Content type
Year

10 results for "CRCS Executive Committee"

10 results for "CRCS Executive Committee"

Greg Morrisett elected 2013 ACM fellow

News
Congratulations to Greg Morrisett, our CRCS Faculty Director, on being elected as a 2013 Fellow of the Association for Computing Machinery (ACM). ### Greg Morrisett elected 2013 ACM fellow Computer scientist is recognized for his work on the verification...