Pavan Srinivas Tippa

Software Engineer

Hyderabad, Telangana, India4 yrs 8 mos experience

Key Highlights

5 years of experience in performance-critical systems.
Expertise in engine-level optimizations at IBM.
Strong background in C++ and problem-solving.

Stackforce AI infers this person is a Software Engineer specializing in performance optimization for formal verification systems.

Contact

Skills

Core Skills

C++Problem SolvingSoftware Development

Other Skills

C (Programming Language)GraphsDSAMachine LearningData StructuresGraphMemory ManagementCross-Functional Team BuildingOral CommunicationParallel ProgrammingLaTeXSystems EngineeringObject-Oriented Programming (OOP)MultithreadingReinforcement Learning

About

Systems-focused Software Engineer with ~5 years of experience building performance-critical C/C++ systems. Currently, working on engine-level optimizations for large scale Formal Verification systems, at IBM. Enjoy exploring/developing new ways to make the systems faster, more reliable, and more scalable.

Experience

4 yrs 8 mos

Total Experience

2 yrs 8 mos

Average Tenure

2 yrs

Current Experience

Ibm

Software Developer

May 2024 – Present · 2 yrs · Bengaluru, Karnataka, India · On-site

Applying expertise in Graphs, DSA, and C++ to research and deploy engine-level optimizations into the Formal Verification Systems, making them memory and runtime-efficient, boosting scalability.

C (Programming Language)Problem SolvingGraphsDSAC++