Education
MSc Computer Science (2018-2020)
Chennai Mathematical Institute (India)BE Computer Engineering (2013-2017)
Cummins College of Engg for Women, Pune (India)
Work experience
- Project Research Assistant (2017-2018)
Centre for Formal Design and Verification of Software (CFDVS)
Dept of Computer Science and Engg
IIT Bombay, India- PI: Prof. Supratik Chakraborty
- Objective: To develop a language to enable dynamic interleaving of reachability algorithms to outperform not only the individual algorithms, but also other state-of-the-art tools.
Internships
- Master’s thesis (2019)
- Heinz Nixdorf Institut, Universität Paderborn, Germany
- Supervisor: Prof. Eric Bodden
- Objective : To study soundness and precision of call graph construction algorithms for Web Frameworks like Spring.
- You can find my thesis here and the slides here.
- Summer 2019: Research Assistant
- Dept of Computer Science and Automation, IISc Bangalore, India
- Supervisor: Prof. Deepak D’Souza
- Objective : To study techniques for data race detection in Android.
- Bachelor’s thesis (2017)
- GCC Resource Center, IIT Bombay, India
- Supervisor: Prof. Supratim Biswas
- Objective: Empirical evaluation of precision of pointer analysis variants.
- You can find our report here.