Graduate Alumni
2017
Christopher Beck
Adviser: Arora, SanjeevDegree: PhD, 2017 , Thesis: Time and Space in Proof Complexity
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
2016
Matvey Arye
Adviser: Freedman, MichaelDegree: PhD, 2016 , Thesis: Data Processing Across Continents
Degree: MSE, 2011 , Thesis: FlexMove: A Protocol for Flexible Addressing on Mobile Devices (MSE thesis)