Team

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-Present

Khushboo joined this group for her Masters thesis in 2018 and her interests lie in compiler design and program analysis.

Contact: khushboo17020 AT iiitd DOT ac DOT in

Vishwender Malik

Vishwender started working as a Research Associate with Dr. Sujith and Dr. Purandare in 2018. He is working with UAVs in Robotics and synthesizing system invariants for the same usingSoftware Engineering design approaches.

Contact: vishwenderm 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.