Dhriti Khanna

Ph.D., 2015-Present

Dhriti is working with Dr. Purandare from IIIT Delhi and Dr. Subodh Sharma from IIT Delhi. She did Masters in Computer Science (M.Sc.) from University of Delhi in 2012. Her area of research is designing static analysis techniques to ensure safety properties of concurrent and parallel programs.

Contact: dhritik AT iiitd DOT ac DOT in

Ridhi Jain

Ph.D., August 2015-Present

Ridhi is working with Dr. Rahul Purandare. She received her Bachelor's degree in Information Technology from AKTU with Director's Gold MedalHer interests are in Algorithms and Software Engineering particularly in the domain of Fault Localization and Program Repair. Currently she is working on Concurrency and Data race detection.

Contact: ridhij AT iiitd DOT ac DOT in

Devika Sondhi

Ph.D., 2017-Present

Devika is working with Dr. Purandare from IIIT Delhi. Her interest lies in software testing and assessing the adequacy of test suite generated by automated techniques. Her research is supported by Prime Minister's Fellowship with the industrial support from Microsoft Research.

Contact: devikas AT iiitd DOT ac DOT in

Nikita Mehrotra

Ph.D., July 2018-Present.

Her interests lie in Program Analysis and Machine Learning.

Contact: nikitam AT iiitd DOT ac DOT in

Khushboo Chitre

M.Tech., 2017-2019 

Ph.D., 2019-Present

Khushboo joined IIIT for her M.Tech. in 2018 and soon her interests developed in compiler design and program analysis. She joined this group for her Masters thesis and converted her candidature for Ph.D. in January 2019.

Contact: khushboo17020 AT iiitd DOT ac DOT in

Udit Kumar Agarwal

Summer Intern, May, 2019 - July 2019

Research Assistant , August 2019 - Present

He is working as a Research assistant under Dr, Rahul Purandare. He received his Bachelor's degree from Netaji Subhas institute of technology(NSIT), Delhi in Electronics and Communication engineering. He is currently working towards the extraction and classification of object-oriented features out of a given binary. His research interests lies mainly in binary comprehension, program analysis, verification and embedded systems.

Contact: uditag AT iiitd DOT ac DOT in

Peeyush Kushwaha

B.Tech., 2016-Present

Peeyush has been working with Dr. Purandare for an Independent Project for the semester. His interests lie in programming languages, automated reasoning and models of computation.

Contact: peeyush16254 AT iiitd DOT ac DOT in

Piyush Gupta

B.Tech., 2016-Present

Piyush has taken BTP with Dr. Purandare. His work aims at designing program analysis techniques to improve execution time of programs.

Contact: piyush16066 AT iiitd DOT ac DOT in

Links to tools created by the group

Get in touch with us

Education - This is a contributing Drupal Theme
Design by WeebPal.