Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:company
|
| gptkbp:focusesOn |
gptkb:programming_language
cryptography cybersecurity formal methods software verification |
| gptkbp:foundedIn |
1999
|
| gptkbp:headquartersLocation |
gptkb:Portland,_Oregon,_United_States
|
| https://www.w3.org/2000/01/rdf-schema#label |
Galois, Inc.
|
| gptkbp:industry |
computer science
software engineering |
| gptkbp:notableClient |
gptkb:government
gptkb:government_agency |
| gptkbp:notableEmployee |
gptkb:Don_Stewart
gptkb:Joe_Hurd gptkb:John_Launchbury |
| gptkbp:notableProject |
gptkb:Cryptol
gptkb:Juvix gptkb:SAW_(Software_Analysis_Workbench) Haskell language contributions MACAW |
| gptkbp:numberOfEmployees |
100-200
|
| gptkbp:type |
private
|
| gptkbp:website |
https://galois.com/
|
| gptkbp:bfsParent |
gptkb:David_Z._Johnson
|
| gptkbp:bfsLayer |
6
|