Graduate Alumni
2018
2017
Zoe Paraskevopoulou
Adviser: Appel, AndrewDegree: PhD, 2020 , Thesis: Verified Optimizations for Functional Languages
Degree: MA, 2017
Soumyadeep Ghosh
Adviser: August, DavidDegree: PhD, 2017 , Thesis: TRUSTGUARD: A CONTAINMENT ARCHITECTURE WITH VERIFIED OUTPUT
Christopher Beck
Adviser: Arora, SanjeevDegree: PhD, 2017 , Thesis: Time and Space in Proof Complexity