About

Stephen McCamant's main area of expertise is sat-solver , and is also an expert on smt and symbolic-execution . Stephen McCamant is recognized as Sat-solver Top-100Smt Top-1000, and Symbolic-execution Top-1000 . A Github user since 2012 , Stephen McCamant is ranked as #303,238 globally .
Additional areas of expertise: OCaml