Zhibo Chen Doctoral Research Assistant Google Scholars Link Office 6503 Gates and Hillman Centers Email zhiboc@andrew.cmu.edu Department Computer Science Department Research Interests Programming Languages Thesis Advisor Frank Pfenning
