To extend the state-of-the-art in technologies for formal verification of hardware and software,
Electronic Design Automation (EDA), cyber security, Boolean Satisfiability (SAT), solving of
Constraint Satisfaction Problems (CSPs), planning, scheduling, and other computer science and
computer engineering applications. To design and develop computer hardware and software.
To provide consulting services in these fields.
Some of Our Projects
In several R&D projects for NASA, we are developing technology to formally verify the computer systems
on the Multi-Purpose Crew Vehicle (MPCV), the next generation of spacecraft that will replace the Space Shuttle,
and will be used for human flights to the Moon and Mars, including for building of human bases there.
Dr. Miroslav N. Velev, President
Copyright © 2009 by Aries Design Automation, LLC