Aries Design Automation, LLC is a Chicago-based company specializing in cutting-edge technologies for formal verification of hardware and software, electronic design automation, cyber security, and solving complex computer science and engineering problems.
With a strong focus on innovation, Aries Design Automation is currently engaged in multiple research and development projects for NASA, aiming to develop advanced technology for verifying computer systems on the next generation Multi-Purpose Crew Vehicle (MPCV), which will facilitate human flights to the Moon and Mars, including the construction of human bases.
Generated from the website