Recent News
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
UNM student creates game-changing in-seat food delivery service
April 1, 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