Theoretical Computer Science
The theory group works on the mathematical foundations of computing. Current research areas include algorithmic algebra, approximation algorithms, coding theory, combinatorial geometry, computational geometry, computational topology, cryptography, formal verification, graph theory, logic, and randomized algorithms.
We list here some of the ongoing projects in the various research laboratories. For further information, please look at the laboratory web pages or the posters.