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.

Online Courses

• Computer Science
  • Introduction to Computer Science and Programming Using Python
  • Machine Learning
  • Automata Theory
• Poetry
  • Basic Elements of Poetry
  • Abstract Poetry 101

Full CV available here.