Sophia Roshal Doctoral Research Assistant Website Office 6023 Gates and Hillman Centers Email sophiaroshal@cmu.edu Department Computer Science Department Research Interests Programming Languages Thesis Advisor Frank Pfenning
