Graduate Alumni
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
Christopher Beck
Adviser: Arora, SanjeevDegree: PhD, 2017 , Thesis: Time and Space in Proof Complexity
2016
Robert MacDavid
Adviser: Rexford, JenniferDegree: MSE, 2016 , Thesis: Compression of Interdomain SDN Policies at Exchange Points