Publication
Algorithms
Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.
Video
Generalized Identity-Based Encryption
My talk will mainly be on new developments in generalized identity-based cryptography. Identity-based cryptography is relatively new technology, less than a decade old, in which a message can be encrypted using any string as a…
Video
Electrical Flows and Laplacian Systems: A New Tool for Graph Algorithms
In recent years, the emergence of massive computing tasks that arise in context of web applications and networks has made the need for efficient graph algorithms more pressing than ever. In particular, it lead us…
Group
Computational Biology at MSR New England
We encompass several approaches to computational biology: we try to frame the biological question under consideration in terms of more standard problems in computer science, like clustering, Steiner trees, flow problems, etc., and then use approximation…
Video
Optimization under Uncertainty: Understanding the Correlation Gap
When faced with the challenge of making decisions in presence of multiple uncertainties, a common simplifying heuristic is to assume independence among various sources. Although popular, the effect of this heuristic on the solution quality…
Publication
A Firm Foundation for Private Data Analysis
Publication
Symbolic Tree Transducers
Publication