Sign up for our newsletter
Back To Top
Go back

AI & Advanced Computing

Evan Miyazono

  • Program

    AI Safety Science

  • Institution

    Atlas Computing

  • Location

    USA

Dr. Evan Miyazono completed his PhD in Applied Physics at Caltech, then led research at Protocol Labs. He established their research grants program and directed special projects including Hypercerts, Funding the Commons, gov4git, Discourse Graphs, and the Open Agency Architecture proposal.

In partnership with Dr. Windham, Atlas Computing will design and develop an AI tool for generating, reviewing, and validating formal specifications for computer code, which will help test the accuracy of AI systems that write that code.