Headquarters
444 E 2ND ST, STE 250, DAYTON, OH 45402-1724, US
DAYTON, OH, US
GALOIS INC
From the company
Galois is an employee-owned company that for more than 25 years has combined mathematical rigor with curious creativity to guarantee trustworthiness in critical systems. Its computer scientists, cryptographers, mathematicians, and cognitive scientists conduct research and development, applying formal analysis techniques to design and verify critical software systems. Clients include NASA, DARPA, Amazon, and the Department of Defense.
Products & services offered
Facilities
Send your requirements
Quantities, certifications, and timing.