2014 
PhD

ACM 
Ahn, Hyoung Jun

Random Propagation in Complex Systems: Nonlinear Matrix Recursions and Epidemic Spread

Hassibi 
PhD

ACM 
Amlani, Faisal

A New HighOrder Fourier ContinuationBased Elasticity Solver for Complex ThreeDimensional Geometries

Bruno 
MS

CS 
Chang, Xiaofei

Resetting Asynchronous QDI Systems

Martin 
MS

CS 
Chen, Niangjun

Model Predictive Control for Deferrable Loads Scheduling

Wierman, Low 
PhD

ACM 
Ci, Maolin

Multiscale Model Reduction Methods for Deterministic and Stochastic Partial Differential Equations

Hou 
PhD

CS 
de Goes, Fernando Ferrari

Geometric discretization through primaldual meshes

Desbrun 
MS

CS 
Eyjolfsdottir, Eyrun Arna

Detecting Actions of Fruit Flies

Perona 
MS

CS 
Faulkner, Matthew Nicholas

Selective Data Gathering in Community Sensor Networks

Heaton, Krause, Chandy 
PhD

CS 
Faulkner, Matthew Nicholas

Community Sense and Response Systems

Krause, Chandy, Heaton 
PhD

CS 
Fefferman, William Jason

The Power of Quantum Fourier Sampling

Umans, Kitaev 
PhD

CS 
Florian, Mihai

AnalysisAware Design of Embedded Systems Software

Holzmann 
MS

CS 
Guo, Zeyu

Randomnessefficient curve sampling

Umans 
PhD

CDS 
Horowitz, Matanya Benasher

Efficient methods for stochastic optimal control

Burdick 
PhD

CS 
Keller, Sean Jason

Robust NearThreshold QDI Circuit Analysis and Design

Martin 
PhD

CS 
Liu, Zhenhua

Sustainable IT and IT for sustainability

Wierman, Low 
PhD

CS 
Olson, Michael James

Cloud Computing Services for Seismic Networks

Chandy 
PhD

ACM 
Sanan, Patrick David

Geometric elasticity for graphics, simulation, and computation

Schroeder 
PhD

CDS 
Sharan, Rangoli

Formal methods for control synthesis in partially observed environments : application to autonomous robotic manipulation

Burdick 
PhD

ACM 
Tavallali, Peyman

Sparse timefrequency data analysis : a multiscale approach

Hou 
PhD

ACM 
Tyranowski, Tomasz Michal

Geometric integration applied to moving mesh methods and degenerate Lagrangians

Marsden, Desbrun 
PhD

CDS 
van Breugel, Floris

Complex behavior and perception in Drosophila emerges from iterative feedbackregulated reflexes

Dickinson 
PhD

CDS 
Wolff, Eric McKenzie

Control of dynamical systems with temporal logic specifications

Murray 
2011 
PhD

ACM 
Becker, Stephen R.

Practical Compressed Sensing: Modern Data Acquisition and Signal Processing

Candes 
PhD

ACM 
Beni, Catherine E.

Simulation capabilities for challenging medical imaging and treatment planning problems

Bruno 
PhD

CS 
Buchfuhrer, David I.

Limits on computationally efficient VCGbased mechanisms for combinatorial auctions and public projects

Umans 
MS

CS 
de Goes, Fernando Ferrari

An optimal transport approach to robust reconstruction and simplification of 2D shapes

Desbrun 
PhD

BE 
Fuller, Sawyer Buckminster

Steady as she goes : visual autocorrelators and antennamediated airspeed feedback in the control of flight dynamics in fruit flies and robotics

Murray, Dickinson 
PhD

MCE 
Hurtado, Daniel E.

Multiscale modeling of microcrystalline materials

Ortiz 
PhD

CDS 
Lamperski, Andrew G.

Hierarchies, spikes, and hybrid systems : physiologically inspired control problems

Doyle 
PhD

CDS 
Lavaei, Javad

Largescale complex systems : from antenna circuits to power grids

Doyle, Murray 
MS

CS 
Lin, Minghong

Algorithmic issues in green data centers

Wierman 
MS

CS 
Liu, Zhenhua

Greening geographical load balancing

Wierman, Low 
PhD

CDS 
Moore, Ashley

Discrete mechanics and optimal control for space trajectory design

Marsden, Murray 
PhD

CDS 
Nahmad Bensusan, Marcos

Interpretation and scaling of positional information during development

Stathopoulos, Doyle 
PhD

MCE 
Perotti, Luigi Emanuele

Modeling the behavior of fiber reinforced sandwich structures subjected to underwater explosions

Ortiz 
PhD

CS 
Pilotto, Concetta

Systematic design and formal verification of multiagent systems

Chandy 
PhD

ACM 
Plan, Yaniv

Compressed sensing, sparse approximation, and lowrank matrix estimation

Candes 
PhD

CDS 
Sen, Shaunak

Regulatory consequences of bandpass feedback in a bacterial phosphorelay

Elowitz 
PhD

CDS 
Tao, Molei

Multiscale geometric integration of deterministic and stochastic systems

Owhadi, Marsden 
PhD

ACM 
Vyetrenko, Svitlana S.

Network coding for error correction

Ho 
PhD

EE 
Weng, ChingChih

The roles of majorization and generalized triangular decomposition in communication and signal processing

Vaidyanathan 
PhD

CS 
White, Jerome S.

Applying formal methods to distributed algorithms using localglobal relations

Chandy 
2006 
MS

CS 
Capponi, Agostino

Estimation problems in sense and respond systems

Chandy 
PhD

ACM 
Demanet, Laurent

Curvelets, wave atoms, and wave equations

Candes 
PhD

ACM 
Goulet, David Michael

Mathematical models of the developing C. elegans hermaphrodite gonad

Sternberg, Cohen 
MS

CS 
Kalyanaraman, Shankar

On obtaining pseudorandomness from errorcorrecting codes

Umans 
MS

CS 
Kapre, Nachiket Ganesh

Packetswitched onchip FPGA overlay networks

DeHon 
MS

CS 
Kharevych, Liliya

Circle Patterns Documentation 1.0 [Supplemental material for Masters thesis: Implementation of circle pattern parameterization (2006)]

Schroeder 
MS

CS 
Kharevych, Liliya

Implementation of circle pattern parameterization

Schroeder 
MS

CS 
Khorlin, Andrey

Scheduling in distributed stream processing systems

Chandy 
PhD

CS 
Li, Ling

Data complexity in machine learning and novel classification algorithms

AbuMostafa 
PhD

ACM 
Luo, Wuan

Wiener chaos expansion and numerical solutions of stochastic partial differential equations

Hou 
MS

CS 
Mehta, Nikil

Timemultiplexed FPGA overlay networks on chip

DeHon 
PhD

CS 
Papadantonakis, Karl Spyros

Rigorous analog verification of asynchronous circuits

Martin 
PhD

CDS 
Shadden, Shawn Christopher

A dynamical systems approach to unsteady systems

Marsden 
PhD

CDS 
Spanos, Demetri Polychronis

Distributed gradient Ssystems and dynamic coordination

Murray 
PhD

ACM 
Strinopoulos, Theofilos

Upscaling immiscible twophase flows in an adaptive frame

Hou 
PhD

CS 
Tapus, Cristian

Distributed speculations: providing faulttolerance and improving performance

Hickey 
MS

CS 
Tian, Lu

Resource allocation in streaming environments

Chandy 
PhD

CDS 
Wang, Jiantao

A theoretical study of internet congestion control: equilibrium and dynamics

Doyle, Low 
2005 
PhD

CDS 
Bhat, Harish Subrahmanya

Lagrangian averaging, nonlinear waves, and shock capturing

Marsden 
PhD

CDS 
Del Vecchio, Domitilla

State estimation in multiagent decision and control systems

Murray, Perona 
MS

CS 
deLorimier, Michael John

Floatingpoint sparse matrixvector multiply for FPGAs

DeHon 
MS

CS 
Elcott, Sharif Mohamed

Discrete, circulationpreserving, and stable simplicial fluids

Schroeder 
MS

CS 
Fanti, Claudio

An improved scheme for detection and labeling in Johansson displays

Perona 
PhD

CS 
Friedel, Ilja Heinrich

Approximation of surfaces by normal meshes

Schroeder 
MS

CS 
Gao, Xiaojie

Router congestion control

Schulman 
PhD

CS 
Gavriliu, Marcel

Towards more efficient interval analysis: corner forms and a remainder interval Newton method

Barr 
MS

CS 
Gray, Nathaniel Asoka

Highconfidence, modular compiler development in a formal environment

Hickey 
PhD

CDS 
Gregory, Irene Michelle

Design and Stability Analysis of an Integrated Controller for Highly Flexible Advanced Aircraft Utilizing the Novel Nonlinear Dynamic Inversion

Doyle 
MS

CS 
Lin, HsuanTien

Infinite ensemble learning with support vector machines

AbuMostafa 
PhD

CS 
Litke, Nathan Jacob

Variational methods in surface parameterization

Schroeder 
MS

CS 
Naeimi, Helia

A greedy algorithm for tolerating defective crosspoints in nanoPLA design

DeHon 
PhD

CDS 
Papachristodoulou, Antonis

Scalable analysis of nonlinear systems using convex optimization

Doyle 
PhD

CDS 
Prajna, Stephen

Optimizationbased methods for nonlinear and hybrid systems verification

Doyle 
MS

CS 
Prakash, Piyush

Slack matching

Martin 
PhD

ACM 
Stredie, Valentin Gabriel

Mathematical modeling and simulation of aquatic and aerial animal locomotion

Hou 
MS

CS 
Tapus, Cristian

Kernel level distributed interprocess communication system (KDIPC)

Hickey 
PhD

ACM 
Westhead, Andrew

Upscaling for twophase flows in porous media

Hou 
PhD

ACM 
Yu, Xinwei

Localized nonblowup conditions for 3D incompressible Euler flows and related equations

Hou 
1986 
PhD

CS 
Barrett, Christopher Louis

On central processes in the temporal control of movement

Fender 
PhD

ACM 
Chesshire, Geoffrey Samuel

Composite grid construction and applications

Kreiss 
PhD

CS 
Dally, William J.

A VLSI architecture for concurrent data structures

Seitz 
PhD

AM, CNS 
Feinstein, David I.

Relating thermodynamics to information theory : the equality of free energy and mutual information

Mead, Hopfield 
PhD

ACM 
Girnius, Tomas Paul

Ray tracing in complex threedimensional earth models

Keller 
MS

CS 
Lazzaro, John Paul

anaLOG: A functional Simulator for VLSI Neural Systems

Mead 
PhD

CS 
Li, Peyyun Peggy

A parallel execution model for logic programming

Martin 
PhD

CS 
Mosteller, R. C.

Monte Carlo methods for 2D compaction

Kajiya 
PhD

ACM 
Naughton, Michael John

On numerical boundary conditions for the NavierStokes equations

Kreiss 
MS

CS 
Poh, Hean Lee

Incorporating Time in the New World of Computing Systems

Kahler 
PhD

ACM 
Rollins, David Kenneth

Diffusion with varying drag; the runaway problem

Corngold 
MS

CS 
Schweizer, David Lawrence

Some Results on KolmogorovChaitin Complexity

AbuMostafa 
PhD

ACM 
Schwendeman, Donald William

Numerical shock propagation using geometrical shock dynamics

Whitham 
PhD

CS 
Tanner, John Edward

Integrated optical motion detection

Mead 