Theory Group

Recent News

• Shreyas Pais Paper wins Best Paper Award at ICDCN 2025

• Nalli Sai Soumya is a co-winner of the Best BTP award at CSE Dept.

• Anantha Padmanabha joins the theory group

• Shreyas Pai joins the theory group

• FDP on Core CS Theory

• A Simple Algorithm for Consistent Query Answering under Primary KeysArticle

  Diego Figueira, Anantha Padmanabha, Luc Segoufin, ENS-Pari, Cristina Sirangelo, Appeared in Logical Methods in Computer Science, Vol 21, No.1, Feb 2025.

• Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions

  Diego Figueira, CNRS, Bordeaux, S. Krishna, Om Swostik Mishra, Anantha Padmanabha, Appeared in 21st International Conference on Principles of Knowledge Representation and Reasoning, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, Vol , No., Nov 2024.