People

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

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: khushbooc 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

Lakshya Agrawal

B.Tech. (Computer Sceince and Applied Mathematics), 2018-Present

Lakshya has an interest in Systems and Programming Languages. He has formerly worked on writing a Programming Language Transpiler from Maxima to Python. He is currently exploring topics in Program Verification and Analysis at PAG.

Contact: lakshya18242 AT iiitd DOT ac DOT in

Bhavya Chopra

B.Tech.2018-Present

Bhavya has interest in software engineering and algorithms. She is currently exploring program verification and programming languages with PAG.

Contact: bhavya18333 AT iiitd DOT ac DOT in

Ruhma Mehek Khan

B.Tech., 2018-Present 

Ruhma worked with Dr. Purandare during her research internship. Her research interests include software engineering, algorithms and data science. She is currently exploring program verification and program analysis at PAG.

Contact: ruhma18362 AT iiitd DOT ac DOT in

Krishna Kariya

B.Tech., 2017-Present

Krishna is interested in Logic, Automated Reasoning, and Decision Procedures. She is working on an independent project and BTP under Dr. Rahul Purandare.

Contact: krishna17060 AT iiitd DOT ac DOT in

Fahad Nayyar

B.Tech., 2017-Present

Fahad is interested in Compilers, Formal Methods and Runtime Verification. He also has keen interest in exploring parallel and distributed models of computation. He has taken an independent project and BTP under Dr. Rahul Purandare.

Contact: fahad17049 AT iiitd DOT ac DOT in

Sejal Singh

B.Tech., 2018-Present

Sejal is currently a second-year student. She has developed an interest in Machine Learning. She is currently studying how C decompilers work.

Contact: sejal18413 AT iiitd DOT ac DOT in

Akash Sharma

B.Tech., 2017-Present

Akash is interested in field of algorithms, ML, NLP, CV and software engineering. Currently, he has taken an Independent Project under Dr. Rahul Purandare where he is exploring the applications of Deep Learning based techniques on Program Analysis tasks.

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