Graduate Alumni
2021
Jonathan Balkind
Adviser: David WentzlaffDegree: PhD, 2020
Degree: MA, 2021
Lucas Salvador
Adviser: Jérémie LumbrosoDegree: MSE, 2021
Raghuvansh Saxena
Adviser: Gillat KolDegree: PhD, 2021
Rachit Dubey
Adviser: Tom GriffithsDegree: MA, 2021
2020
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