Ridhi Aggarwal

Operations Associate

Delhi, India2 yrs 2 mos 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

LinkedIn

Skills

Core Skills

Algorithm Design

Other Skills

formal verificationmodel checkinglattice theory

Experience

2 yrs 2 mos
Total Experience
1 yr 3 mos
Average Tenure
2 yrs
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 2 mos

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

Vinayak Koli

Vinayak Koli

Undergraduate Student Researcher

at Indraprastha Institute of Information Technology, Delhi

Delhi, India5 mos exp
PythonLLM EvaluationREST APIsLaravel
Vikas Bishnoi

Vikas Bishnoi

Software Enginner

at Helply

Bengaluru, India3 yrs 2 mos exp
BackendMicroservicesSoftware DevelopmentProblem SolvingWeb Development
Kaustubh M.

Kaustubh M.

Program Manager

at build3

Goa, India9 yrs 3 mos exp
Analytical SkillsCustomer Relationship Management (CRM)Cross-functional Team LeadershipSoftware as a Service (SaaS)Internet of Things (IoT)
Ankit Rai

Ankit Rai

Software Engineer

at Northern Arc Capital

Bengaluru, India11 mos exp
Backend DevelopmentQuality AssuranceMachine LearningDeep Learning
Naren Parashar

Naren Parashar

AI Product Manager

at GreyLabs AI

Bengaluru, India7 yrs 5 mos exp
Product ManagementAI Product DevelopmentData AnalysisProduct DesignUser Experience
Srikanth Gosangi

Srikanth Gosangi

User Experience Designer

at Self-employed

India1 yr exp
User Experience DesignAccessibilityAI Product UX
Dhiraj Kumar Gupta

Dhiraj Kumar Gupta

Senior Software Engineer

at Airtel Payments Bank

Delhi, India10 yrs 3 mos exp
Large Language Models (LLM)JavaMicroservicesCloud ComputingEvent-Driven Architecture
CS

Chandra S.

Software Engineer

at NVIDIA

Bengaluru, India10 yrs exp
C++PythonData Structures & AlgorithmsC/C++