Theory
The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the EATCS and the ACM SIGACT. Chen is recognized for his 2017 paper on constraint satisfaction problems (CSP).
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