Theory Group

Recent News

• 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

• Narayanaswamy awarded the Best Teacher award (2023) in the CSE Dept

• Space Complexity of Labelled Graph Reachability Problem

  Vidhya Ramaswamy, Jayalal Sarma, K.S. Sunil, Appeared in Journal of Computer and System Sciences, Jun 2019. A preliminary version appeared in 11th International Conference on Language and Automata Theory and Applications (LATA 2017), Mar 2017.

• On the Complexity of L-reachability

  Balagopal Komarath, Jayalal Sarma, K.S. Sunil, Appeared in Fundamenta Informaticae, Mar 2016. A preliminary version appeared in 16th International Workshop on Descriptional Complexity of Formal Systems (DCFS 2014), Lecture Notes in Computer Science, Vol 8614, pp.258-269, Aug 2014.