Overview Education History Selected Publications News Education History PhD, Carnegie Mellon University (computer science)