Theory

Columbia computer scientists present four papers at FOCS

Columbia theoretical computer scientists presented four papers at the 56th Annual IEEE Symposium on Foundations of Computer Science (FOCS) held October 18-20 2015 in Berkeley, CA.

Xi Chen is 2015 Winner of the EATCS Presburger Award

Xi Chen was named this year’s recipient of the Presburger Award.

Papers presented at STOC 2015

On the Complexity of Nash Equilibria in Anonymous Games / Boolean function monotonicity testing requires (almost) n1/2 non-adaptive queries / Indistinguishability Obfuscation for Turing Machines with Unbounded Memory / In Faster Canonical Forms for Primitive Coherent Configurations

About

Theory research includes computational complexity, algorithms and data structures, cryptography, quantum computing, computational geometry, approximation algorithms, computational game theory, algorithmic graph theory and combinatorics, online algorithms, computational learning theory, algebraic computation, optimization, randomness in computing, parallel and distributed computing, algorithmic coding theory, and theoretical aspects of areas such as networks, privacy, information retrieval, computational biology, and databases.