Recent News
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
Dissertation defense, May 12: Jannatul Ferdous
May 9, 2025
Dissertation defense, April 9: Abir Islam
April 3, 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
