Sign up for our newsletter
Back To Top
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.