David Cok

David Cok is a seasoned expert in software specification and verification, currently serving as a Senior Principal Scientist at Safer Software Consulting, LLC since June 2017. With a strong focus on safety and security-critical software, Cok develops tools for automated software verification and promotes principled software development practices. As a Graduate Faculty Scholar at the University of Central, Cok advises on student projects and contributes to joint publications. Prior experience includes consulting for Amazon Web Services, where Cok worked on formal verification and developed the Dafny verification language, as well as a visiting researcher role at CEA focusing on deductive verification for C++ programs. Cok held various leadership positions at GrammaTech, Inc., focusing on software static analysis and research contract management. A significant 28-year tenure at Eastman Kodak involved pioneering research in digital imaging and software static analysis, complemented by a postdoctoral research role at Argonne National Laboratory and an academic background with a Ph.D. in Physics from Harvard University.