Our Team
The people behind VeriGrey
Our team combines deep expertise in program analysis, software security, and AI to build the next generation of agent testing tools.
Zhao Huan
CEO
3+ years of research experience in formal methods and software testing
Dr. Sungmin Kang
Tech Lead
5+ years of research experience in AI-based software testing
Prof. Abhik Roychoudhury
Scientific Advisor
Provost’s Chair Professor @ NUS, with 25+ years of experience in software research