Nathan Glover Doctoral Research Assistant Email nsglover@andrew.cmu.edu Department Computer Science Department Thesis Advisor Jan Hoffmann
