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.
11 years of coding experience
8 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Penn State University
Bachelor of Applied Science (B.A.Sc.) Computer Science, Bachelor of Applied Science (B.A.Sc.) Computer Science at Huazhong University of Science and Technology
:house_with_garden: Open source home automation that puts local control and privacy first.
Role in this project:
Backend 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.
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.