Yuxin Wang

Senior Software Engineer at Uber

New York, New York, 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
Yuxin Wang is a Senior Software Engineer in New York with 11 years of experience bridging academic research and production engineering. With a PhD in Computer Science from Penn State, Yuxin has published influential work on differential privacy and program verification while transitioning those skills to developer tooling at Uber. At Uber they build systems that improve code quality and developer experience, open-sourcing tools like LastDiff (CI cost optimization) and NilAway (static nil panic detection for Go). Yuxin is also an active open-source contributor to Home Assistant, notably refactoring the apcupsd integration to modern config flows, add tests and diagnostics, and remove deprecated configurations. Their background blends deep theory—automated synthesis and privacy proofs—with pragmatic backend engineering to make large systems safer and easier to maintain. Colleagues describe them simply as a problem solver who turns formal techniques into practical developer-facing solutions.
code11 years of coding experience
job8 years of employment as a software developer
bookDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Penn State University
bookBachelor of Applied Science (B.A.Sc.) Computer Science, Bachelor of Applied Science (B.A.Sc.) Computer Science at Huazhong University of Science and Technology
languagesChinese, English
stackoverflow-logo

Stackoverflow

Stats
383reputation
22kreached
3answers
11questions
github-logo-circle

Github Skills (18)

python10
configuration-file10
sensor-fusion10
home-assistant10
configurations10
sensor10
testing9
pytest9
asyncio9
ucontext6
apache-kafka6
boost6
latency6
eigen6
java6

Programming languages (19)

C#JavaCSSC++CRustMakefileGo

Github contributions (5)

github-logo-circle
home-assistant/core

Sep 2022 - Dec 2022

:house_with_garden: Open source home automation that puts local control and privacy first.
Role in this project:
userBackend Developer
Contributions:63 reviews, 4 commits, 34 PRs in 3 months
Contributions summary:Yuxin primarily refactored the apcupsd integration, migrating it from YAML configuration to config flows. This involved significant code changes to support the new configuration method, including adding tests and simplifying the implementation. Furthermore, the user removed deprecated YAML configurations and addressed issues related to typing and sensor descriptions. Additional contributions involved adding tests and implementing diagnostics, further demonstrating a focus on improving and maintaining the apcupsd integration.
raspberry-pipythonhouseprivacy-firstasyncio
yuxincs/parallel-pi

Jul 2016 - Mar 2020

Contributions:95 commits, 72 pushes, 4 branches in 3 years 9 months
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
Yuxin Wang - Senior Software Engineer at Uber