University of Colorado at Boulder Computer Science Department