Eric McCarthy

Eric McCarthy is Formal Methods Engineer at Provable. He loves to write specifications and formally verify software, and finds it especially fun to verify software encoded as equations over finite fields.  Previously he worked in programming language representation and transformation.