Clark Barrett

Stanford University professor and co-founder of &Truth who emphasizes applying formal methods from mathematical proofs to software verification.