Ziqiao Zhou

Senior Researcher at Microsoft

Chapel Hill, North Carolina, 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
Ziqiao Zhu is a data analyst and full-stack software engineer with 10 years of experience, blending a BS in Computer Science from UC San Diego with an MS in Business Analytics from Pepperdine. Based in Glendale, CA, he applies engineering rigor to finance and healthcare data problems, currently driving analytics at Heritage Provider Network. His background includes hands-on frontend work that boosted CRM-derived sales projections and productivity, plus research-grade experience building and attacking face recognition models during a Microsoft technical evangelism internship. Comfortable across JavaScript/React, Python, TensorFlow, and Azure, he bridges model development, data transformation, and product-facing UI improvements. Colleagues value his ability to turn messy inputs into organized, actionable insights while keeping an eye on real-world impact metrics.
code10 years of coding experience
job7 years of employment as a software developer
bookBachelor of Engineering (B.Eng.), Information Security Engineering, Bachelor of Engineering (B.Eng.), Information Security Engineering at Shanghai Jiao Tong University
bookMaster's degree, Computer Science, Master's degree, Computer Science at University of North Carolina at Chapel Hill
languagesChinese, English
github-logo-circle

Github Skills (31)

xor9
rust9
sat-solver8
hardware7
security7
klee7
symbolic-execution6
usermode6
chisel6
soc6
verification6
dpll6
cnf6
cryptography5
amd5

Programming languages (7)

C++ShellRustCLLVMScalaPython

Github contributions (5)

github-logo-circle
microsoft/verismo

Apr 2024 - Jun 2026

A formally verified security module for AMD confidential VMs
Contributions:24 PRs, 69 pushes, 26 branches in 2 years 1 month
amdsecurity
ziqiaozhou/cryptominisat

Dec 2016 - Aug 2021

Contributions:698 pushes, 1 branch in 4 years 8 months
satsat-solversolver
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