Graduate Alumni
2005
Manoj Prabhakaran
Adviser: Amit SahaiDegree: PhD, 2005 , Thesis: New Notions of Security
Gang Tan
Adviser: Appel, AndrewDegree: PhD, 2005 , Thesis: A Compositional Logic for Control Flow and its Application in Foundational Proof-Carrying Code
Jessica Fong
Adviser: Singh, MonaDegree: PhD, 2005 , Thesis: Computational Methods for Predicting Coiled-Coil Protein-Protein Interactions
Sumeet Sobti
Adviser: Randy WangDegree: PhD, 2005 , Thesis: Distributed Mobile Storage Systems for Non-Uniform Connectivity
Akihiro Nakao
Adviser: Peterson, LarryDegree: PhD, 2005 , Thesis: A Routing Underlay for Overlay Networks
Anthony Wirth
Adviser: Charikar, MosesDegree: PhD, 2005 , Thesis: Approximation Algorithms for Clustering (Thesis)
2004
Robert Shillingsburg
Adviser: Felten, EdwardDegree: PhD, 2004 , Thesis: Fault Tolerance in the Pulsar Cluster Server
Yitzchak Gottlieb
Adviser: Peterson, LarryDegree: PhD, 2004 , Thesis: Operating System Support for Generalized Packet Forwarding (Thesis)
Brent Waters
Adviser: Felten, EdwardDegree: PhD, 2004 , Thesis: Cryptographic Algorithms for Privacy in an Age of Ubiquitous Recording
William Brinkman
Adviser: Charikar, MosesDegree: PhD, 2004 , Thesis: Metric Space Imbeddings into â„“1: An Optimization Approach
Robert Kalnins
Adviser: Finkelstein, AdamDegree: PhD, 2004 , Thesis: WYSIWYG NPR: Interactive Stylization for Stroke-Based Rendering of 3D Animation (Thesis)
Amal Ahmed
Adviser: Appel, AndrewDegree: PhD, 2004 , Thesis: Semantics of Types for Mutable State (Thesis)
Michael Kazhdan
Adviser: Funkhouser, ThomasDegree: PhD, 2004 , Thesis: Shape Representations and Algorithms for 3D Model Retrieval (Thesis)
Mao Chen
Adviser: Jaswinder SinghDegree: PhD, 2004 , Thesis: Using User-Provided Information to Improve Internet Services (Thesis)
Wagner Correa
Adviser: Rusinkiewicz, SzymonDegree: PhD, 2004 , Thesis: New Techniques for Out-of-Core Visualziation of Large Scale Datasets
Juan Chen
Adviser: Appel, AndrewDegree: PhD, 2004 , Thesis: A Low-Level Typed Assembly Language with a Machine-Checkable Soundness Proof (Thesis)
Eun-Young Lee
Adviser: Appel, AndrewDegree: PhD, 2004 , Thesis: Secure Linking: A Logical Framework for Policy-Enforced Component Composition
Nathaniel Dirksen
Adviser: N/ADegree: MEng, 2004
Xiang Yu
Adviser: Randy WangDegree: PhD, 2004 , Thesis: Trading Capacity for Performance in Disk Arrays (Thesis)
Paul Chang
Adviser: N/ADegree: MEng, 2004
Jason Blome
Adviser: N/ADegree: MEng, 2004
2003
Ljudevit Bauer
Adviser: Appel, AndrewDegree: PhD, 2003 , Thesis: Access Control for the Web via Proof-Carrying Authorization (Thesis)
Subhash Khot
Adviser: Arora, SanjeevDegree: PhD, 2003 , Thesis: New Techniques for Probabilistically Checkable Proofs and Inapproximability Results (Thesis)
