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.