Recent News
Computer science professor selected as Emerging Woman Leader in Technical Computing
August 19, 2019
Art + science = a winning equation for new computer science professor
August 14, 2019
UNM drones study dangerous volcano plumes in Papua New Guinea
July 3, 2019
UNM researcher helping to develop software to distinguish life from non-life
June 10, 2019
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
