Richa Agarwal

Senior Software Engineer

India7 yrs 9 mos experience

Most Likely To SwitchHighly Stable

Key Highlights

Proven expertise in developing scalable distributed systems.
Strong background in network data analysis and optimization.
Hands-on experience with formal verification tools.

Stackforce AI infers this person is a SaaS-focused Software Engineer with strong capabilities in distributed systems and network performance.

Contact

Skills

Core Skills

Microsoft AzureDistributed SystemsAlgorithm DevelopmentLinuxFormal VerificationNetworking

Other Skills

Azure Service FabricAzure Operator InsightsNetwork Data AnalysisLinux System PerformanceUser Experience OptimizationInvariant GenerationDelay-Tolerant NetworksGraph TheoryC#JAVAC++Operating SystemsData StructuresAlgorithmsPython

About

Always enthusiastic to learn something new

Experience

7 yrs 9 mos

Total Experience

3 yrs 10 mos

Average Tenure

4 yrs 10 mos

Current Experience

Microsoft

2 roles

Senior Software Engineer

Promoted

Sep 2024 – Present · 1 yr 9 mos

Microsoft Discovery

Azure Service FabricMicrosoft AzureDistributed Systems

Software Engineer 2

Aug 2021 – Sep 2024 · 3 yrs 1 mo

Azure Operator Insights enables the collection and analysis of massive quantities of network data gathered from complex multi-part or multi-vendor network functions. It delivers insights for operator-specific workloads to help operators understand the health of their networks and the quality of their subscribers’ experiences.
As an early member of the team, I had the privilege of witnessing and actively contributing towards the evolution of this highly scalable, distributed solutions running on Azure ecosystem from its inception to its completion.

Azure Operator InsightsDistributed SystemsNetwork Data AnalysisMicrosoft Azure

Qualcomm

2 roles

Engineer

Promoted

Dec 2019 – Jul 2021 · 1 yr 7 mos · Hyderabad, Telangana, India

As a part of "Drive Linux system performance" team, I was responsible for handling performance areas related to benchmarks and user experience use cases across multiple Snapdragon chipsets. The key work involved delivering algorithmic solutions for improving User Experience by optimizing application launch latencies, scrolls and gaming scenarios with end-to-end experience in design, develop and test model.

Linux System PerformanceAlgorithm DevelopmentUser Experience OptimizationLinux

Associate Engineer

Jul 2018 – Nov 2019 · 1 yr 4 mos · Hyderabad, Telangana, India

Indian institute of technology, guwahati

Summer Intern

May 2017 – Jun 2017 · 1 mo

Worked on Loop Invariant Generation for Formal Verification through tools such as Standford Invariant Tool, Vampire, CBMC and INVGEN. Served as an alternative to equivalence checking of two programs where some standard tools failed to do so.

Formal VerificationInvariant Generation

Nit durgapur

Summer Intern

May 2016 – Jul 2016 · 2 mos

Post-Disaster Situation Analysis and Resource Management Using Delay-Tolerant Peer-to-Peer Wireless Networks (DISARM). Simulation of Networks using The OneSimulator based on JAVA platform and proposing new solutions to routing problems based on Graph Theory with modification of standard algorithms like TSP and Dijkstra's to develop a dynamic network suitable logic.

Delay-Tolerant NetworksGraph TheoryNetworking