Recent News
UNM Engineering names Prabhakar inaugural Cleve Moler and MathWorks Endowed Chair
October 3, 2025
Computer scientist wins Athlete of the Year Award for adaptive skiing technique
May 29, 2025
Hand and Machine Lab wins 2 awards at CHI conference
May 15, 2025
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