Nima Karimipour
Software Engineer at Gitar
California, United States
Summary
🤩
Rockstar🎓
Top SchoolNima Karimipour is a Software Engineer based in California with 11 years of experience bridging research and production engineering, currently building at Gitar.ai. He holds a PhD in Computer Science from UC Riverside, where he transitioned academic research into practical systems as a Graduate Research Assistant. Nima has hands-on industry experience from an internship on Uber’s Platform team and prior work optimizing real-time text analysis platforms, demonstrating strengths in back-end development and test automation. An active open-source contributor, he made notable enhancements to Uber’s widely used NullAway static analysis tool, improving contract handling, serialization, and validation annotations to reduce Java NPEs. Colleagues describe him as a detail-oriented engineer who blends formal verification thinking from his PhD with pragmatic, production-grade engineering.
11 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of California, RiversideSharif University of Technology
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (15)
javas10
static-code-analysis10
static-analysis10
annotate10
java10
annotations10
test-automation10
serialization9
data-serialization9
error-handling9
unit-testing8
concurrent-programming6
concurrent6
android6
concurrency6
Programming languages (6)
Github contributions (5)
uber/NullAway
Dec 2020 - Jan 2023
A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:265 reviews, 47 commits, 30 PRs in 2 years 1 month
Contributions summary:Nima contributed to the `nullaway` project, a static analysis tool for Java, primarily focusing on enhancements to the contract handling and serialization features. They refactored contract-related code and implemented features for method pre- and postcondition validation using annotations like `@RequiresNonnull` and `@EnsuresNonnull`. They also enhanced the serialization process to capture more detailed information about errors, including source offsets and file paths, and incorporated versioning for serialization formats. Furthermore, they added tests to validate the new features.
overheadnullabilityandroidstatic-code-analysisrefactoring
nimakarimipour/checker-framework
Mar 2020 - Mar 2024
Pluggable type-checking for Java
Contributions:49 pushes, 5 branches in 4 years
javacheckingpluggabletype-checking
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.