James Wilcox

James Wilcox 是 Certora 的前首席技术官。