I am interested in automata theory and its applications to verification.
Here is the link to my publications on DBLP.
Students (CMI)
- PhD Students
- Soumodev Mal (co-advised by Prakash Saivasan) ongoing
- Sahil Mhaskar (co-advised by M. Praveen) ongoing
- Masters
- Soumodev Mal On the Satisfiability of Straight-Line String Constraints over Sub-Word Ordering 2021
(co-advised by Prakash Saivasan) - Kushal Prakash Unbounded Distributed Graph AUtomata 2018
(student of BITS Pilani) - Adwitee Roy A Survey on Graph Automata and Tree-Width 2017
- Soumodev Mal On the Satisfiability of Straight-Line String Constraints over Sub-Word Ordering 2021
- Short Internships
- Anupa Sunny Angluin-style learning of NFA and omega regular languages 2017
- Rao Shrisha Shripathy Angluin-style learning of weighted automata 2017
- Nisarg Patel Expressive Power of Finite State Models 2016
- Mirza Ahad Baig (reading) Tree Automata, Techniques and Applications 2016