I am interested in automata theory and its applications to verification. Here is the link to my publications on DBLP.
- Masters Thesis
- Adwitee Roy A Survey on Graph Automata and Tree-Width 2017
- 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