Nimit Singhania
Sr. Software Engineer at Uber
United States
Summary
👤
Senior🎓
Top SchoolNimit Singhania is a senior software engineer with 11 years of industry experience and a PhD candidacy from the University of Pennsylvania focused on programming languages and compilers. He builds performance tools for GPU programs—automatically detecting and fixing issues like uncoalesced global memory accesses—and has applied that expertise across platforms at Google, eBay, and now Uber on developer and programming systems. His background spans research-driven projects (verified loop transforms, scalable symbolic analysis) and production performance engineering (simulators, benchmark suites, search ranking), giving him a rare blend of academic rigor and large-scale systems delivery. Notably, his work targets low-level performance bottlenecks that often go unnoticed by application developers, turning compiler and tooling research into practical developer platform improvements.
11 years of coding experience
15 years of employment as a software developer
Indian Institute of Technology KanpurDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at University of Pennsylvania
Stackoverflow
3reputation
1kreached
0answers
2questions
Github Skills (6)
unions6
openssl6
functional-programming5
static-analysis3
cuda3
gpu3
Programming languages (2)
Github contributions (4)
nimit-singhania/mosaic
Jul 2014 - May 2016
Contributions:11 commits, 2 pushes in 1 year 9 months
nimit-singhania/loopy
Sep 2016 - Jan 2019
A system for programming formally-verified loop transformations.
Contributions:2 commits, 1 PR, 1 push in 2 years 4 months
verifiedfunctional-programmingformally-verifiedlooptransformations
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.