Nathaniel Fruchter, Carnegie Mellon University