samuel k. gutierrez
university of new mexico
Spring 2008
CS 580 - The Specification of Software Systems
CS 591 - Complex Adaptive Systems
Fall 2008
CS 587 - Advanced Operating Systems
CS 561 - Algorithms/Data Structures