Alessandro Forin, School of Computer Science, Carnegie Mellon University