Faculty
 |
David McAllester, Professor and Chief Academic Officer PhD - MIT Bio | Home Page Research Interests: Machine learning theory, the theory of programming languages, automated reasoning, AI planning, computer game playing (computer chess), and computational linguistics. |
 |
Umut Acar, Assistant Professor PhD - Carnegie Mellon University Bio | Home Page Research Interests: Programming languages and algorithms, and include both theory and practice. |
 |
Amal Ahmed, Research Assistant Professor PhD - Princeton University Bio | Home Page Research Interests: Programming languages and language-based security, including type theory and semantics, certified and certifying compilation, typed intermediate languages, and proof-carrying code. |
 |
Ronen Basri, Visiting Professor PhD - Weizmann Institute of Science Bio | Home Page Research Interests: Computer vision, especially in the areas of image segmentation, shape reconstruction, and object recognition. In particular, he has developed methods for analyzing the effect of lighting on images, as well as multiscale algorithms for segmentation and edge detection and region-based pose estimation techniques. |
 |
Matthias Blume, Assistant Professor PhD - Princeton University Bio | Home Page Research Interests: Programming language design and implementation, particularly focusing on the areas of compiler optimization and compilation management. |
 |
Julia Chuzhoy, Assistant Professor PhD - Technion - Israel Institute of Technology Bio | Home Page Research Interests: Theoretical computer science, with the main focus on the design and the analysis of approximation algorithms for computationally hard problems, and on proving lower bounds on approximability of such problems. |
 |
Nikhil Devanur, Research Assistant Professor PhD - Georgia Tech Bio | Home Page Research Interests: Fundamental algorithmic problems, such as graph partitioning and network design, to algorithmic challenges in economics and game theory, such as computing market equilibrium and auction design. |
 |
Xinyu Feng, Research Assistant Professor PhD - Yale University Bio | Home Page Research Interests: Programming languages and formal methods. In particular, he is interested in developing theories, programming languages and tools to build formally certified system software, such as operating system kernels and libraries, with rigorous guarantees of safety and correctness properties. |
 |
Matthew Fluet, Research Assistant Professor PhD - Cornell University Bio | Home Page Research Interests: Design and implementation of programming languages, particularly type systems, program semantics, and compiler technology. |
 |
Lance Fortnow, Adjunct Professor PhD - MIT Bio | Home Page Research Interests: Computational complexity and its applications to electronic commerce, quantum computation, bioinformatics, learning theory and cryptography. |
 |
Prahladh Harsha, Research Assistant Professor PhD - MIT Bio | Home Page Research Interests: Computational complexity with special emphasis on probabilistically checkable proofs (PCPs). In addition to this research, he is also interested in proof complexity demonstrating lower bounds of certain proof systems, and property testing. |
 |
Benoit Hudson, Research Assistant Professor PhD - Carnegie Mellon University Bio | Home Page Research Interests: Development of scientific tools from the point of view computer science, particularly computational geometry. Most recently, he has been developing algorithms for mesh refinement. |
 |
Sham Kakade, Assistant Professor PhD - Gatsby Computational Neuroscience Unit Bio | Home Page Research Interests: Artificial intelligence and machine learning including probabilistic inference, reinforcement learning, computational learning theory, and online learning and their connections to other areas such as game theory, economics, finance, and statistics. |
 |
Karen Livescu, Assistant Professor PhD - MIT Bio | Home Page Research Interests: Speech and language processing, recently focusing on speech recognition. With a particular interest in statistical modeling techniques that can take advantage of both large stores of data and knowledge from linguistics and speech science. |
 |
Xiaofeng Ren, Research Assistant Professor PhD - University of California Berkeley Bio | Home Page Research Interests: Computer vision and artificial intelligence. His dissertation work focused on the empirical study and computational modeling of mid-level vision, including contour completion, region segmentation, and figure/ground organization. |
 |
Greg Shakhnarovich, Assistant Professor PhD - MIT Bio | Home Page Research Interests: Machine learning and its applications, focusing on two domains: machine vision, and brain-machine interfaces. He is especially interested in methods for semantic analysis of visual scenes, detection, recognition and categorization of objects, and in parsing and tracking complex articulated motion. He has also recently worked on computational tools for decoding cortical signals and using them to control artificial devices. |
 |
Shai Shalev-Shwartz, Research Assistant Professor PhD - Hebrew University Bio | Home Page Research Interests: Machine learning algorithms, online learning and games, optimization techniques, and signal processing applications. |
 |
Stephen Smale, Professor PhD - University of Michigan Bio | Home Page Research Interests: Dynamical systems, geometry, econometrics, operational research, topology and the mathematical theory of computer science. |
 |
Cristian Sminchisescu, Adjunct Assistant Professor PhD - Imaging, Vision, and Robotics, INRIA, France Bio | Home Page Research Interests: Probabilistic models and non-linear optimization and sampling algorithms with applications to three-dimensional human motion analysis (reconstruction and recognition in monocular video sequences), object detection and recognition. |
 |
Nathan Srebro, Assistant Professor and Chair, TTI-C Academic Program Committee PhD - MIT Bio | Home Page Research Interests: Mathematical aspects of learning and finding structure and regularities, and developing and studying efficient and effective methods for learning and data analysis tasks. |
 |
Ambuj Tewari, Research Assistant Professor PhD - University of California, Berkeley Bio | Home Page Research Interests: Artificial intelligence and machine learning, particularly large-margin methods, reinforcement learning and online learning. |
 |
Jinbo Xu, Assistant Professor PhD - University of Waterloo Bio | Home Page Research Interests: Computational biology and bioinformatics including homology search, protein structure prediction, and protein interaction prediction. |
Visiting Scholars
Lenore Blum
Home Page
Distinguished Career Professor
Carnegie Mellon University
Claes Johnson
Home Page
Professor of Applied Mathematics
Director, Finite Element Center
Chalmers University of Technology, Sweden
Post Doctoral Fellows
Andrea Caponnetto