Qingzhao Zhang
Assistant Professor at University of Arizona
Tucson, Arizona, United States
Summary
👤
Senior🎓
Top SchoolQingzhao Zhang is an assistant professor in Electrical and Computer Engineering at the University of Arizona with nine years of experience at the intersection of system security, formal verification, and blockchain privacy. He earned a PhD from the University of Michigan and has blended academic research with industry practice through internships at Google, where he built modular model-checking and SMT-based proofs for OS kernels and static analyses for Android testing. His research portfolio includes automated smart-contract fuzzing, privacy-preserving blockchain protocols using zkSNARKs, and practical tools for proving memory and system-level safety in Rust unsafe code. Qingzhao’s background spans building production web APIs and pressure-testing tools in industry to designing provable-security protocols in academia, reflecting a rare combination of deployed engineering and formal-methods expertise. Based in Tucson, he brings a track record of turning rigorous verification techniques into usable tooling that improves both developer workflows and system trustworthiness.
9 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD Computer Science and Engineering, Doctor of Philosophy - PhD Computer Science and Engineering at University of MichiganBachelor's degree Cyber Security, Bachelor's degree Cyber Security at Shanghai Jiao Tong University
Stackoverflow
11reputation
391reached
0answers
1question
Github Skills (87)
robustness10
apollo10
autonomous-driving10
autonomous-vehicles10
arxiv10
regularization10
self-driving-car10
kovan10
data-augmentation10
computer-vision9
benchmark9
autonomy9
blockchain8
ethereum8
machine-learning8
Programming languages (6)
Github contributions (5)
zqzqz/contract-fuzzer
Jan 2019 - May 2022
An intelligent fuzzer on smart contracts.
Contributions:12 commits, 1 push in 3 years 4 months
securityfuzzingfuzzersmart-contractscontracts
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.