Graduate Alumni
2020
Ruth Dannenfelser
Adviser: Olga TroyanskayaDegree: PhD, 2020
Degree: MA, 2016
Degree: MSE, 2014
Jonathan Balkind
Adviser: David WentzlaffDegree: PhD, 2020
Degree: MA, 2021
Zoe Paraskevopoulou
Adviser: Appel, AndrewDegree: PhD, 2020 , Thesis: Verified Optimizations for Functional Languages
Degree: MA, 2017
Yichen Chen
Adviser: Mengdi WangDegree: PhD, 2020
Degree: MA, 2016