Theory
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.
Faculty
- Siddharth Barman
- L. Sunil Chandran
- Sanjit Chatterjee
- Ambedkar Dukkipati
- Chaya Ganesh
- Sathish Govindarajan
- Ramesh Hariharan
- Ravi Kannan
- Bhavana Kanukurthi
- Arindam Khan
- Anand Louis
- Vijay Natarajan
- Arpita Patra
- Chandan Saha
- Rahul Saladi
- Gugan Thoppe
Research Projects 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.
- A parallel cylindrical algebraic decomposition algorithm for quantifier elimination on real closed fields [Ambedkar Dukkipati | Algorithmic Algebra Lab]
- Geometric representation of graphs [Sunil Chandran, Sathish Govindarajan | Theory Lab]
- Rainbow coloring of graphs [Sunil Chandran, Sathish Govindarajan | Theory Lab]
- Integrated geometric and topological measures of features in scientific data [Vijay Natarajan | Visualization and Graphics Lab]
- Automata construction for metric temporal logic [Deepak D’Souza | Theory Lab]
- Design and analysis of provable secure protocols [Sanjit Chatterjee | Informatics and Security Lab]