Graduate Alumni
2005
Xinming Ou
Adviser: Appel, AndrewDegree: PhD, 2005 , Thesis: A logic-programming approach to network security analysis (thesis)
Carleton Kingsford
Adviser: Singh, MonaDegree: PhD, 2005 , Thesis: Computational Approaches to Problems in Protein Structure and Function
Manoj Prabhakaran
Adviser: Amit SahaiDegree: PhD, 2005 , Thesis: New Notions of Security
Frank Battaglia
Adviser: N/ADegree: MEng, 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
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)
2004
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
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)