Work Experience
Research Associate
Secure Software Engineering, Heinz Nixdorf Institut, Universität Paderborn, Germany
Research Assistant
Department of Computer Science and Automation, IISc Bangalore, India
Studied techniques for data race detection in Android.
Project Research Assistant
Centre for Formal Design and Verification of Software (CFDVS), Department of Computer Science and Engineering, IIT Bombay, India
PI: Prof. Supratik Chakraborty
Developed a language for dynamically interleaving reachability algorithms, to outperform both the individual algorithms and other state-of-the-art tools.
Education
Doctorate in Computer Science (Dr. rer. nat.)
Universität Paderborn, Germany
Dissertation: Assisting GDPR Compliance through Static Analysis of Android Apps
Advisor: Prof. Dr. Eric Bodden
M.Sc. in Computer Science
Chennai Mathematical Institute, India
Soundness and precision of call graph construction algorithms for web frameworks like Spring
Heinz Nixdorf Institut, Universität Paderborn · Supervisor: Prof. Dr. Eric Bodden
B.E. in Computer Engineering
Cummins College of Engineering for Women, Pune, India
Empirical evaluation of the precision of pointer analysis variants
GCC Resource Center, IIT Bombay · Supervisor: Prof. Supratim Biswas
Online Courses
- Introduction to Computer Science and Programming Using Python edX
- Machine Learning Coursera
- Automata Theory Stanford Online
- Basic Elements of Poetry All Poetry
- Abstract Poetry 101 All Poetry