Basic info
Industry
software development
Sectors
high assurance software
Cyber Security
Software
software security
Security
Human Computer Interaction
Information Technology
National Security
formal methods
functional programming
Analytics
Machine Learning
machine learning
Risk Management
Date founded
1999
Funding rounds raised
Total raised
$250K
from 1 investors over 1 rounds
G
Galois raised $250K on January 11, 2022
Investors: U.S. Department of Energy