Recent News
UNM student creates game-changing in-seat food delivery service
April 1, 2025
Dissertation defense, April 7: Ala Jararweh
March 31, 2025
Dissertation defense, April 4: John Ringer
March 31, 2025
Computer Science Colloquium will discuss the use of AI in cyber-physical systems
March 27, 2025
News Archives
February News
IC-Scheduling: A New Scheduling Paradigm for Task-Hungry Platforms
February 20, 2014
Automatic Generation of Program Invariants from Traces Software
February 6, 2014