Lisa Hua

Principal Software Engineer at Microsoft

Redmond, Washington, 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
Lisa Hua is a Principal Software Engineer in Redmond with 11 years of experience building large-scale data warehouse and lakehouse systems and shipping self-explainable AI features for Power BI that drive widespread business adoption. She bridges ML research and product engineering end-to-end—from UX and middle tiers to large-scale data pipelines and backend ML algorithms—leveraging a PhD in automated program repair and program synthesis to bring rigorous, verifiable design to practical AI products. At Microsoft she led efforts in anomaly detection, influencer inferencing, cognitive services, and data-driven narrative generation that turn complex models into actionable, explainable insights for nontechnical users. Her background in math, statistics, and software verification helps her simplify deployment lifecycles and align ML teams with customer needs, a skill first honed integrating models at PayPal and in academic research.
code11 years of coding experience
job12 years of employment as a software developer
bookDoctor of Philosophy (PhD) Computer Software Engineering, Doctor of Philosophy (PhD) Computer Software Engineering at The University of Texas at Austin
bookBachelor of Engineering (B.E.) Computer Software Engineering, Bachelor of Engineering (B.E.) Computer Software Engineering at Nanjing University
github-logo-circle

Github Skills (19)

algorithms10
candidate10
machine-learning10
dotnet10
dotnet-core10
csharp10
cross-platform9
ml9
perl9
controlled9
repair9
faults8
java7
database5
on-demand5

Programming languages (3)

C#JavaPerl

Github contributions (5)

github-logo-circle
SketchFix/SketchFix

Feb 2018 - Mar 2019

Automatic Program Repair with On-Demand Candidate Generation
Contributions:16 commits, 14 pushes, 1 branch in 1 year 1 month
on-demandcandidateprogram-repairdemandrepair
SketchFix/EdSketch

Feb 2018 - Mar 2019

Contributions:7 commits, 7 pushes, 1 tag in 1 year 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.
Request Free Trial