Michael Stroucken, Carnegie Mellon University