Pradeep Kumar

Senior Software Engineer at Qualcomm

San Diego, California, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Pradeep Kumar is a Senior Software Engineer based in San Diego with 15 years of experience building C/C++ and Python systems across mobile device bring-up, performance tooling, and backend automation. A Purdue MS graduate with a 4.0 GPA, he has driven measurable impact at companies like Samsung and Qualcomm—reducing device performance evaluation time from a week to hours through automation and delivering dozens of production fixes. He brings deep systems and debugging expertise (device drivers, firmware interaction) combined with strong static-typing and Python tooling knowledge. An active open-source contributor, Pradeep has improved Python typing docs and enhanced type-checking and MonkeyType libraries to better handle variadic tuples, TypedDicts, and forward references. He pairs high technical aptitude with practical delivery: building middleware that ties firmware, spectrum analyzers, and device memory for signal calibration is an example of his cross-domain problem solving. Comfortable in both R&D and production environments, he excels at translating complex type and systems problems into maintainable, automated solutions.
code15 years of coding experience
job3 years of employment as a software developer
bookBachelor of Engineering, ELECTRONICS AND COMMUNICATION ENGINEERING, Bachelor of Engineering, ELECTRONICS AND COMMUNICATION ENGINEERING at Netaji Subhas Institute of Technology
bookMaster of Science - MS, Computer Science, 4.0, Master of Science - MS, Computer Science, 4.0 at Purdue University
github-logo-circle

Github Skills (16)

mypy10
typehinting10
rs10
type-checking10
static-analysis10
type-check10
restructuredtext10
python10
documentation10
pytest9
github9
testing9
algorithms8
data-structures8
algorithm8

Programming languages (11)

JavaC++RustOCamlMakefileJavaScriptreStructuredTextObjective-C

Github contributions (5)

github-logo-circle
facebook/pyre-check

Sep 2019 - Sep 2022

Performant type-checking for python.
Role in this project:
userBack-end Developer
Contributions:849 commits, 7 tags, 18 comments in 2 years 11 months
Contributions summary:Pradeep primarily worked on enhancing the type-checking capabilities of the Python codebase. The contributions involved parsing and analyzing complex type annotations, particularly those related to variadic tuples, and integrating them with the existing static analysis framework. They focused on adding support for features such as `TypeVarTuple`, `ReadOnly`, and processing of `*args` parameters within function definitions. The user made a series of commits, each one increasing the complexity of the codebase by adding support for new features.
typecheckercontrol-flow-analysispythoncode-qualityabstract-interpretation
Instagram/MonkeyType

Oct 2019 - Jun 2020

A Python library that generates static type annotations by collecting runtime types
Role in this project:
userBack-end Developer
Contributions:14 commits, 13 PRs, 3 pushes in 7 months
Contributions summary:Pradeep primarily focused on improving the `monkeytype` Python library, which generates static type annotations. Their contributions involved implementing features to trace and shrink dictionaries as TypedDicts, handling nested dictionaries, and adding support for forward references. They also refactored the codebase by removing a dependency on the `stringcase` package, and introduced improvements related to how the library handles nested data structures and generic types. These changes improved the library's accuracy, flexibility, and maintainability.
python-librarycode-generationpythonannotationsruntime
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Pradeep Kumar - Senior Software Engineer at Qualcomm