I am a world-class expert with the with years of experience in formal hardware and software verification. For my Ph.D. research at UT Austin, I developed , a self-verified theorem prover. Today I work full time at , developing tools and working to analyze our x86 processor. On the side, I do some freelance consulting through my company, . ©