Ridhi Aggarwal

Operations Associate

Delhi, India2 yrs experience

Most Likely To Switch

Key Highlights

Internship focused on formal verification and algorithm design.
Developed a working solver for parity games in two months.
Currently a coordinator at a prominent student society.

Stackforce AI infers this person is a Software Engineering candidate with a focus on algorithm design and formal verification.

Contact

Skills

Core Skills

Algorithm Design

Other Skills

formal verificationmodel checkinglattice theory

Experience

2 yrs

Total Experience

1 yr 3 mos

Average Tenure

1 yr 10 mos

Current Experience

Technische universität braunschweig

Summer Research Intern

May 2025 – Jul 2025 · 2 mos · Brunswick, Lower Saxony, Germany · On-site

Worked on formal verification of concurrent programs by designing and implementing an IC3-based solver for parity games. Gained expertise in model checking, lattice theory, and algorithm design. Delivered a working solver and detailed technical documentation within two months.

formal verificationmodel checkinglattice theoryalgorithm design

Indian game theory society(igts), iit delhi

2 roles

Coordinator

Apr 2025 – Present · 1 yr

Executive

Jun 2024 – Apr 2025 · 10 mos

Mathsoc iit delhi

Executive

Jun 2024 – May 2025 · 11 mos

Hindi samiti iit delhi

Hostel Representative

Apr 2024 – Apr 2025 · 1 yr

Education

Indian Institute of Technology, Delhi

Dual degree - BTech and MTech — Mathematics and Computing

Jul 2023 – Jun 2028

Pragati Public School

Jul 2021 – May 2023

Whitefield Global School

Jul 2015 – Jul 2021

Stackforce found 100+ more professionals with Algorithm Design

Explore similar profiles based on matching skills and experience

Thirdha Krishnan

Development Engineer

at Microsoft

Hyderabad, India11 yrs 3 mos exp

Manish Joshi

Senior Software Engineer

at Atlassian

Ahmedabad, India11 yrs 6 mos exp

Geetam J

Software Engineer

at Apple

Delhi, India5 yrs 8 mos exp

Software Development

Hardik Rudani

Software Engineer

at Meta

London, United Kingdom8 yrs 1 mo exp

JavaSpring Framework

airan hoonma

Accumulated Expertise

at Career-Wide Experience

East Godavari, India0 mo exp

Rahul Bharadhwaj Vattikuti

Software Development Engineer

at Indihood

Kharagpur, India2 yrs 9 mos exp

Jai Chopra

Accumulated Expertise

at Career-Wide Experience

Rohtak, India0 mo exp

Anitej Khare

Vice President Research

at WorldQuant

Delhi, India3 yrs 7 mos exp