Research Interests Programming Languages, Logic and Type Theory, Logical Frameworks, Automated Deduction, Trustworthy Computing (see also Publications, Students & Co-authors) Projects Logosphere A Formal Digital Library Triple Type Refinement in Programming Languages ConCert Language Technology for Trustless Software Dissemination Twelf Logical and Meta-Logical Frameworks SeLF Distributed System Security via Logical Frameworks Manifest Security Logics and Languages for Manifestly Secure Systems Prospero Integrating Types and Specifications
I am currently an EPSRC Postdoctoral Research Fellow at the University of Cambridge. I am also a visiting researcher at the Gatsby Computational Neuroscience Unit.
In general my research interests lie in the area of machine learning. More specifically, I am interested in Bayesian statistics, clustering, semi-supervised learning and kernel methods. I have also done research which applies machine learning techniques to problems in computational biology, computer security, and computer vision.
I am a researcher in the Text Mining, Search and Navigation group. I am also affiliated with the Machine Learning and Applied Statistics and the Natural Language Processing groups.
Contact Information
Assistant Professor
Department of Computer Science and Engineering
University of Washington
I got my PhD in CS from Berkeley, advised by Christos Papadimitriou.
After that, I did a postdoc in Avi's group at the Institute for Advanced Study in Princeton.
Research interests:
Algorithms, complexity, optimization.
High-dimensional geometry, geometry of discrete metric spaces, spectral graph theory.
Applications of geometry and analysis in theoretical computer science.