Zheng Lu
Senior Software Development Engineer at Amazon Web Services (AWS)
Bellevue, Washington, United States
Summary
👤
Senior🎓
Top SchoolZheng Lu is a Senior Software Development Engineer with 11 years of experience building large-scale cloud and platform software across AWS, Salesforce, Oracle, and Microsoft. He brings deep systems and application expertise in Java, C#, and C++, plus mobile iOS experience and a PhD foundation in formal verification and static analysis. At LSU he developed practical analysis tools that found real-world bugs in firmware and Android apps, a thread that surfaces in his focus on reliable, secure infrastructure at enterprise cloud providers. Known for translating research-grade verification techniques into production-quality tooling, he combines low-level reasoning with hands-on delivery of distributed services. Based in Bellevue, WA, he excels at bridging rigorous academic thinking with pragmatic engineering for enterprise-grade software.
11 years of coding experience
13 years of employment as a software developer
Doctor of Philosophy (PhD), Doctor of Philosophy (PhD) at Louisiana State University
Github Skills (5)
api-client2
api2
python2
presto1
database1
Programming languages (3)
Github contributions (5)
luzcn/dev-docs
May 2016 - Jun 2024
Contributions:292 pushes, 1 branch in 8 years 1 month
luzcn/Interview
Mar 2015 - May 2018
Contributions:247 commits, 266 pushes, 6 branches in 3 years 1 month
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.