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