Faculty Candidate Seminars

Robots that Cover, Climb, and SLAM!

Random Interpretation

Learning to Walk by Actuating a Passive Dynamic Walker

Automatically Checking the Correctness of Program Analyses and

Linear Programming and Arrangements

New Algorithms and Insights for Routing Problems

Preserving privacy of digital information

Managing Confidentiality for Exchanged Data

Secure content distribution using untrusted servers

New Notions of Security

Program Analysis with Binary Decision Diagrams

Query Processing for Large-Scale Brokering

Probabilistic Techniques for Mobile Robot Mapping and Exploration

The Information Theory of Sleeping Sensors and Idle Servers

Physical modeling, inverse scattering, & applications of Optical Coherence Tomography, Nonlinear Raman Microscopy, and Near-Field Microscopy