Theory
For fundamental contributions to Computer Science, via the development of the theory of algorithms and complexity, and its application to the natural and social sciences.
The theoretical computer scientist will use the award to push the boundaries of quantum information science.
Alman is recognized for contributions to theoretical computer science through the design and analysis of algorithms for fundamental operations that are routinely performed in all fields of science and engineering.
About
The group does research on the fundamental capabilities and limitations of efficient computation.
In addition, they use computation as a lens to gain deeper insights into problems from the natural, social, and engineering sciences.
The group is highly collaborative, both within Columbia and among peer institutions. They hold a weekly Theory Lunch and a bi-weekly Student Seminar. Most graduate students have (at least) two advisors and collaborate with several professors and other students. Some of the faculty are cross-listed with the IEOR department and the Data Science Institute.
Theory of Computing Group 
Add to GMail