Vrunda Dave
 |
PhD, |
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. SN Krishna.
Research
My research interests include
Automata, Logic and Transducers
Formal Verification
Rechability Games
Recent Publications
Parosh Abdulla, Mohamed Faouzi Atig, Vrunda Dave and Shankara Narayanan Krishna, "On the separability Problem of String Constraints", In 31st International Conference on Concurrency Theory, CONCUR 2020.
Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote, "Synthesis of Computable Regular Functions of Infinite Words", n 31st International Conference on Concurrency Theory, CONCUR 2020.
Vrunda Dave, Paul Gastin, and Shankara Narayanan Krishna, "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]
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]
Experience
Summer Internship at Uppsala University, Sweden with Mohamed Faouzi Atig and Parosh Abdulla, from May 2019 to July 2019
Summer Internship at Ericsson Research with Swarup Kumar Mohalik form May 2016 to June 2016
Worked at Tata Reaserch Development and Design Centre (TRDDC) as Developer with Pavan Kumar Chittimalli and R D Naik from September 2014 to January 2015
B Tech Internship at TRDDC with Pavan Kumar Chittimalli and R D Naik from December 2013 to May 2014
Services
reviewer of CONCUR 2018, FORMATS 2018
reviewer of ISSE
worked in organizing committee of FSTTCS 2019, RISC 2016
Awards
receiving Cisco fellowship (2016-2020)
awarded Microsoft travel grant for presenting paper at LICS 2018
awarded ACM IARCS travel grant for presenting paper at LICS 2018