Summary
Zhiqiang Zuo is an associate professor and researcher with a decade of experience building and customizing systems software across programming languages, software engineering, and systems. He focuses on practical, research-driven tooling—compilers, runtimes, OS components, and Big Data stacks—applied to program analysis, profiling, security enforcement, and SAT/SMT solving. After a PhD and research roles at the National University of Singapore and a postdoc at UC Irvine, he joined Nanjing University where he progressed from assistant to associate professor. His work bridges deep systems engineering with formal techniques, often tailoring low-level infrastructure to accelerate and secure higher-level program analyses. Colleagues value his ability to translate theoretical insights into production-relevant prototypes and tooling.
10 years of coding experience
6 years of employment as a software developer
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at Shandong University
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at National University of Singapore