Gerald Malan, School of Computer Science, Carnegie Mellon University