Go back
AI & Advanced Computing
Daniel Windham
-
Program
AI Safety Science
-
Institution
Atlas Computing
-
Location
USA
Daniel Windham serves as the chief technology officer of Atlas Computing. Daniel previously co-led software development and usability of the STITCHES systems integration toolchain, one of the most successful DARPA programs of the past decade. Prior to this, he worked on programming environments and HCI at Coda, Y Combinator Research, and MIT Media Lab.
In partnership with Dr. Miyazono, 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.