Kenneth Roe is Co-Founder and Chief Architect at VerifAIX, an AI-native semiconductor verification company building a formal trust layer for chip design teams worldwide.

Ken holds a Ph.D. in Formal Verification from Johns Hopkins University and built his career across industry giants including Intel, Synopsys, and SiFive, accumulating decades of deep semiconductor expertise.

Ken developed the Heuristic Theorem Prover (HTP), an SMT-Modulo Prover that placed second and third at SMT-COMP 2006, reflecting his foundational contributions to formal verification science.

At SiFive, Ken was a key contributor to the Formal Methods team, integrating the Kami Processor core with SiFive's Federation framework, and at Synopsys he advanced the theorem-proving algorithms that underpin leading formal verification products.

VerifAIX has raised $5M in seed funding co-led by Endiya Partners and Bluehill VC, and has already been deployed at semiconductor companies tackling real-world verification challenges involving complex control logic and protocols.