Graduate Alumni
2018
2017
Rafael Mendes de Oliveira
Adviser: Dvir, ZeevDegree: PhD, 2017 , Thesis: Polynomial Identity TestingPolynomial Identity Testing: Derandomization Results and Applications to Algebraic Computation: Derandomization Results and Applications to Algebraic Computation
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