Recent News
‘A serendipitous life’: The right people in the right places were key to Lydia Tapia’s success
September 9, 2022
Time-tested: Computer scientist’s research honored for its impact after a decade
August 17, 2022
Angel receives 2022 ACM SIGGRAPH Distinguished Educator Award
August 15, 2022
At Hand and Machine Lab event, art was a two-way interactive experience
June 2, 2022
News Archives
November News
Automatic Generation of Loop Invariants
November 23, 2004
Exploring Grand Challenges in Trustworthy Computing
November 15, 2004
Exploring Grand Challenges in Trustworthy Computing
November 15, 2004
Eugene Spafford: Exploring Grand Challenges in Trustworthy Computing
November 11, 2004
Machine Learning at UNM and Abroad
November 9, 2004
