Member Profile :
|
Anantha PadmanabhaAssistant ProfessorEmail : ananthap@cse.iitm.ac.in Personal Webpage Phone : |
Disclaimer : This page lists only the information about the individual member relevant to the theory group activities. Please visit the individual's page (using the link above) for broader profile information.
Research InterestsApplications of Logic in Computer Science |
Teaching Actvities (while with the theory group - since Jan 2011)
- Recent Developments in Theoretical Computer Science - Jan-May, 2025
- Computability and Complexity - Jul-Nov, 2024
Publications (while with the group, last 10)
See here for all publications while at IITM
- A Simple Algorithm for Consistent Query Answering under Primary KeysArticle
Authors: Diego Figueira, Anantha Padmanabha, Luc Segoufin, ENS-Pari, Cristina Sirangelo
Logical Methods in Computer Science, Vol 21, No.1, Feb 2025 - Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions
Authors: Diego Figueira, CNRS, Bordeaux, S. Krishna, Om Swostik Mishra, Anantha Padmanabha
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