James Wilcox

James Wilcox 是 Certora 的前技術長。