Ridhi Jain — Software Engineer
I am a results-driven researcher with expertise in Program Analysis, Software Verification, and Security Research. Specializing in concurrent program verification and vulnerability detection under relaxed memory models, I bridge theoretical research with practical solutions to tackle complex problems in software verification.
Stackforce AI infers this person is a Software Security Researcher specializing in program analysis and verification.
Location: South Delhi, Delhi, India
Experience: 5 yrs 8 mos
Skills
- Genai
- Fuzzing
- Vulnerability
- Program Verification
- Program Analysis
Career Highlights
- Expert in concurrent program verification and vulnerability detection.
- Bridges theoretical research with practical software solutions.
- Results-driven researcher with extensive security research experience.
Work Experience
Synopsys Inc
R&D Engineering Staff Engineer (1 yr)
Technology Innovation Institute
Senior Security Researcher (1 yr)
Security Researcher (2 yrs)
IBM India Research Labs
Summer Intern (2 mos)
Indraprastha Institute of Information Technology, Delhi
Teaching Assistant for Program Verification at IIIT-D (4 mos)
Teaching Assistant for Program Analysis (4 mos)
Teaching Assistant for Program Analysis (4 mos)
Teaching Assistant for Data Structure and Algorithms (4 mos)
Teaching Assistant for Program Analysis (4 mos)
Teaching Assistant for Data Structures and Algorithms (4 mos)
Teaching Assistant for Advanced Programming (4 mos)
Teaching Assistant for Data Structures and Algorithms (4 mos)
Teaching Assistant for Introduction to Programming (4 mos)
Education
Research Scholar at Indraprastha Institute of Information Technology, Delhi
Bachelor of Technology (B.Tech.) at ABES Engineering College
