Vrunda Dave

alt text 

Computer Science Department,
Indian Institute of Technology Bombay (IITB)
Room No 301, CFDVS Lab,
New CC Building, Near SOM,
IIT Bombay, Powai - 400076
Email: vrunda [@] cse [DOT] iitb [DOT] ac [DOT] in

About me

I received the B.Tech degree in Computer Science & engineering from Dharamsinh Desai Institute of Technology (DDIT), Gujarat, India, in 2014. Prior to joining PhD in CSE, IIT Bombay, I worked in Tata Research Development and Design Centre (TRDDC), Pune from Jun-Dec 2014. In January 2015, I started PhD in Theoretical Computer Science under the supervision of Prof. Krishna S.


My research interests include

  • Automata, Logic and Transducers

  • Formal Verification

  • Rechability Games

Recent Publications

  1. Vrunda Dave, Paul Gastin, and Krishna Shankara Narayanan, "Regular Transducer Expressions for Regular Transformations", In 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK.[pdf] [full-version] [slides]

  2. Vrunda Dave, Shankara Narayanan Krishna, and Ashutosh Trivedi, "FO-Definable Transformations of Infinite Strings", In 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, Chennai, India.[pdf] [full-version] [slides]

Full list of publications.
A brief cv.