Graduate Alumni
2018
Mark Martinez
Adviser: Funkhouser, ThomasDegree: MSE, 2018 , Thesis: Beyond Grand Theft Auto V for Training, Testing and Enhancing Deep Learning in Self Driving Cars
Andrej Risteski
Adviser: Arora, SanjeevDegree: PhD, 2018 , Thesis: Black Box Variational Inference: Scalable, Generic Bayesian Computation and its Applications
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
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