Dr. Nick (Yunhui) Zheng

Co-founder, CTO

Dr. Zheng is a co-founder of Sec3 and co-leads the security service team with Dr. Xing. He holds a Ph.D. in Computer Science from Purdue University.

Before joining Sec3, Nick spent eight years working on program analysis, language-based security, formal verification and AI for code at IBM Research. His contributions include coding assistants, code vulnerability detection mechanisms, business process optimization, and automated solutions for bug detection. He contributed to several IBM products including IBM Security AppScan and directly collaborated with two Fortune 500 financial companies, turning research prototypes into products.

In addition, he developed the very first SMT (Satisfiability Modulo Theories) constraint solver for strings. This string solver  has merged into the Z3 theorem prover's codebase, which is in turn a fundamental component powering automatic program analysis and formal verification tools.