2020 
PhD

ACM 
Anderson, Thomas Geoffrey

Hybrid FrequencyTime Analysis and Numerical Methods for TimeDependent Wave Propagation

Bruno 
PhD

CMS 
Coladangelo, Andrea Wei

Quantum Correlations, Certifying Quantum Devices, and the Quest for Infinite Entanglement

Vidick 
PhD

CMS 
Cvitkovic, Michael William (Milan0

Deep Learning in Unconventional Domains

Vidick 
PhD

CMS 
Dathathri, Sumanth

Scalable Synthesis and Verification: Towards Reliable Autonomy

Murray 
PhD

ACM 
FernandezLado, Agustin Gabriel

WaveScattering by Periodic Media

Bruno 
PhD

Ae 
García Suárez, Antonio Joaquín

Application of PathIndependent Integrals to SoilStructure Interaction

Asimaki 
PhD

ACM 
Garza Gonzalez, Emmanuel

Boundary Integral Equation Methods for Simulation and Design of Photonic Devices

Bruno 
PhD

ACM 
Huang, De

Positive Definite Matrices: Compression, Decomposition, Eigensolver, and Concentration

Hou 
PhD

CMS 
Le, Hoang Minh

New Frameworks for Structured Policy Learning

Yue 
PhD

AM 
Li, Liuchi

Linking MicroStructure to MacroBehavior of Granular Matter: From Flowing Heterogeneously to Morphing Adaptively

Andrade 
PhD

CS 
London, Palma Alise den Nijs

Frameworks for High Dimensional Convex Optimization

Wierman 
PhD

CS 
Ronchi, Matteo Ruggero

Vision for Social Robots: Human Perception and Pose Estimation

Perona 
PhD

APh 
Shen, Yang

Phonon Anharmonicity at the Limits of Perturbation Theory

Fultz 
PhD

EE 
Teke, Oguzhan

Signals on Networks: Random Asynchronous and Multirate Processing, and Uncertainty Principles

Vaidyanathan 
PhD

APh 
Tokpanov, Yury

Towards Next Generation of Optoelectronics: from Quantum Plasmonics and 2D Materials to Advanced Optimization Techniques of Nanophotonic Devices

Atwater 
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 
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 
Ferrari de Goes, Fernando

Geometric Discretization through PrimalDual Meshes

Desbrun 
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 Elizabeth

Simulation Capabilities for Challenging Medical Imaging and Treatment Planning Problems

Bruno 
PhD

CS 
Buchfuhrer, David Isaac

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 
MS

CS 
Fefferman, William Jason

On Quantum Computing and Pseudorandomness

Kitaev, Umans 
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 Sepulveda , Daniel Esteban

Multiscale Modeling of Microcrystalline Materials

Ortiz 
PhD

CS 
Kapre, Nachiket Ganesh

SPICE²: A Spatial, Parallel Architecture for Accelerating the Spice Circuit Simulator

DeHon 
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 
2008 
PhD

CS 
Angelova, Anelia Nedelcheva

Visual Prediction of Rover Slip: Learning Algorithms and Field Experiments

Matthies, Perona 
MS

CS 
Buchfuhrer, David Isaac

The Complexity of Formula Minimization


PhD

MCE 
Carson, John Maurice, III

Robust Model Predictive Control with a Reactive Safety Mode

Murray, MacMynowski, Acikmese 
PhD

ACM 
Donaldson, Roger David

Discrete Geometric Homogenisation and Inverse Homogenisation of an Elliptic Operator

Owhadi, Desbrun 
PhD

CS 
Fanti, Claudio

Towards Automatic Discovery of Human Movemes

Perona 
PhD

CDS 
Flores Contreras, Melvin Estuardo

RealTime Trajectory Generation for Constrained Nonlinear Dynamical Systems Using NonUniform Rational BSpline Basis Functions

Murray 
PhD

CS 
Gao, Xiaojie

On A Capacitated Multivehicle Routing Problem

Schulman 
PhD

CDS 
Grubits, Katalin Anna

LowDimensional Representations of Transitions in Molecular Systems

Marsden 
PhD

ACM 
Helgason, Hannes

Nonparametric Detection and Estimation of Highly Oscillatory Signals

Candes 
PhD

ACM 
Hoch, David

Nonreflecting Boundary Conditions Obtained from Equivalent Sources for TimeDependent Scattering Problems

Bruno 
PhD

CS 
Jang, Wonjin

SoftError Tolerant Quasi Delayinsensitive Circuits

Martin 
PhD

CS 
Lin, HsuanTien

From Ordinal Ranking to Binary Classification

AbuMostafa 
PhD

BE 
McHale, Kevin L.

Feedback Tracking and Correlation Spectroscopy of Fluorescent Nanoparticles and Biomolecules

Mabuchi 
PhD

ACM 
Monro, John Anderson

A SuperAlgebraically Convergent, WindowingBased Approach to the Evaluation of Scattering from Periodic Rough Surfaces

Bruno 
PhD

CS 
Naeimi, Helia

Reliable Integration of Terascale Systems with Nanoscale Devices

DeHon 
MS

CS 
Noblet, David Alexander

MojaveComm: A ViewOriented Group Communication Protocol with Support for Virtual Synchrony

Hickey 
PhD

CS 
Prakash, Piyush

Throughput Optimization of Quasi Delay Insensitive Circuits via Slack Matching

Martin 
PhD

CS 
Pratap, Amrit

Adaptive Learning Algorithms and Data Cloning

AbuMostafa 
PhD

ACM 
Sweatlock, Sarah Lynne

Asymptotic Weight Analysis of LowDensity Parity Check (LDPC) Code Ensembles

McEliece 
PhD

CE 
Taflanidis, Alexandros Angelos

Stochastic System Design and Applications to Stochastically Robust Structural Control

Beck 
PhD

ACM 
Tian, Lixiu

Effective Behavior of Dielectric Elastomer Composites

Bhattacharya 
PhD

ACM 
Wang, Ke

A Subdivision Approach to the Construction of Smooth Differential Forms

Schroeder 
MS

CS 
White, Jerome S.

Receive Buffer Dynamics and OS Scheduling

Hickey 
MS

CS 
Yang, Weiwei

Discrete Mechanical Interpolation of Keyframes

Desbrun 
2006 
MS

CS 
Capponi, Agostino

Estimation Problems in Sense and Respond Systems

Chandy 
PhD

MCE 
Cremean, Lars Brör

System Architectures and Environment Modeling for HighSpeed Autonomous Navigation

Murray 
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)]  GO TO RELATED URL FOR FILES

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 
MS

CS 
Pongsajapan, John

Optimization and Stability of TCP/IP with DelaySensitive Utility Functions

Low 
PhD

CDS 
Shadden, Shawn Christopher

A Dynamical Systems Approach to Unsteady Systems

Marsden 
PhD

CDS 
Spanos, Demetri Polychronis

Distributed Gradient Systems and Dynamic Coordination

Murray 
PhD

ACM 
Strinopoulos, Theofilos

Upscaling Immiscible TwoPhase Flows in an Adaptive Frame

Hou 
PhD

EE 
Tang, Ao (Kevin)

Heterogeneous Congestion Control Protocols

Low 
PhD

CS 
Țăpuș, 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 
PhD

Ae 
Zielonka, Matias Gabriel

Configurational Forces and Variational Mesh Adaption in Solid Dynamics

Ortiz 
2005 
PhD

CDS 
Bhat, Harish Subrahmanya

Lagrangian Averaging, Nonlinear Waves, and Shock Regularization

Marsden 
PhD

Ae 
Chatelain, Philippe

Contributions to the ThreeDimensional Vortex Element Method and Spinning Bluff Body Flows

Leonard 
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 
PhD

CS 
Friedel, Ilja Heinrich

Approximation of Surfaces by Normal Meshes

Schroeder 
PhD

Ae 
Fung, Jimmy

Coarse Analysis of Multiscale Systems: Diffuser Flows, Charged Particle Motion, and Connections to Averaging Theory

Murray, Marsden 
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 
PhD

Ae 
Kowalewsky, Olga

Theory of Complex Lattice Quasicontinuum and Its Application to Ferroelectrics

Ortiz 
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 
PhD

ACM 
Westhead, Andrew Neil

Upscaling for Twophase Flows in Porous Media

Hou 
PhD

ACM 
Yu, Xinwei

Localized Nonblowup Conditions for 3D Incompressible Euler Flows and Related Equations

Hou 
2003 
PhD

Ae 
Arienti, Marco

A Numerical and Analytical Study of Detonation Diffraction

Shepherd 
PhD

Ae 
Austin, Joanna Maria Karol

The Role of Instability in Gaseous Detonation

Shepherd 
PhD

ACM 
Fetecau, Razvan Constantin

Variational methods for nonsmooth mechanics

Marsden, Hou 
PhD

ACM 
Greenberg, Andrei

Chebyshev spectral method for singular moving boundary problems with application to finance

Bruno 
PhD

CS 
Grinspun, Eitan

The basis refinement method

Schroeder 
PhD

CS 
Hirani, Anil Nirmal

Discrete exterior calculus

Marsden, Arvo 
PhD

ACM 
Howard, Elizabeth Anne

A front tracking method for modelling thermal growth

Meiron 
PhD

ACM 
Hyde, Edward McKay

Fast, HighOrder Methods for Scattering by Inhomogeneous Media

Bruno 
PhD

ACM 
Kastner, Jason Christopher

Modeling a Hox gene metwork: stochastic simulation with experimental perturbation

Meiron 
PhD

CDS 
Lekien, Francois Paul

Timedependent dynamical systems and geophysical flows

Marsden, Murray 
PhD

ACM 
Mauch, Sean Patrick

Efficient algorithms for solving static HamiltonJacobi equations

Meiron 
PhD

CDS 
Milam, Mark Bradley

RealTime Optimal Trajectory Generation for Constrained Dynamical Systems

Murray 
MS

CS 
Smith, Justin David

Fault tolerance using wholeprocess migration and speculative execution

Hickey 
PhD

CDS 
Vela, Patricio Antonio

Averaging and control of nonlinear systems

Burdick 
PhD

CS 
Wood, Zoe Justine

Computational topology algorithms for discrete 2manifolds

Schroeder 