Galois, Inc.
Founded in 1999
B2B
Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable. They apply cutting edge computer science and mathematics to advance the state of the art in software and hardware trustworthiness. They combine formal methods with cutting-edge machine learning tech...
🔥
👍
💩
Team members (0 of 0)
No team members found
Team member data will appear here when available
Suggested Companies