Graduate Alumni
2005
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
Frank Battaglia
Adviser: N/ADegree: MEng, 2005
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)
Dinghao Wu
Adviser: Appel, AndrewDegree: PhD, 2005 , Thesis: Interfacing Compilers, Proof Checkers, and Proofs for Foundational Proof-Carrying Code
Ming Zhang
Adviser: Randy WangDegree: PhD, 2005 , Thesis: Understanding Internet Routing Anomalies and Building Robust Transport Layer Protocols (thesis)
Edith Elkind
Adviser: Amit SahaiDegree: PhD, 2005 , Thesis: Computational Issues in Optimal Auction Design
Jie Chen
Adviser: LaPaugh, AndreaDegree: PhD, 2005 , Thesis: Comparison of Clustering Algorithms and its Application to Document Clustering
Ding Liu
Adviser: Chazelle, BernardDegree: PhD, 2005 , Thesis: Sublinear Geometric Algorithms and Geometric Lower Bounds (thesis)
Yaoping Ruan
Adviser: Pai, VivekDegree: PhD, 2005 , Thesis: Understanding and Improving Modern Network Server Performance (thesis)
Loukas Georgiadis
Adviser: Tarjan, RobertDegree: PhD, 2005 , Thesis: Linear-Time Algorithms for Dominators and Related Problems (thesis)
Xinming Ou
Adviser: Appel, AndrewDegree: PhD, 2005 , Thesis: A logic-programming approach to network security analysis (thesis)
2004
Paul Chang
Adviser: N/ADegree: MEng, 2004
Xiang Yu
Adviser: Randy WangDegree: PhD, 2004 , Thesis: Trading Capacity for Performance in Disk Arrays (Thesis)
Jason Blome
Adviser: N/ADegree: MEng, 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)
Michael Kazhdan
Adviser: Funkhouser, ThomasDegree: PhD, 2004 , Thesis: Shape Representations and Algorithms for 3D Model Retrieval (Thesis)
Amal Ahmed
Adviser: Appel, AndrewDegree: PhD, 2004 , Thesis: Semantics of Types for Mutable State (Thesis)
