Graduate Alumni
2005
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)
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
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
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
Monirul Sharif
Adviser: N/ADegree: MEng, 2003
Kam-Chuen Jim
Adviser: N/ADegree: MEng, 2003