Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Company
|
| gptkbp:awards |
Best Places to Work
|
| gptkbp:employees |
50-100
|
| gptkbp:focus |
Formal methods
|
| gptkbp:founded_in |
gptkb:2000
|
| gptkbp:founder |
gptkb:Philip_Wadler
|
| gptkbp:headquarters |
gptkb:Portland,_Oregon
|
| https://www.w3.org/2000/01/rdf-schema#label |
Galois, Inc.
|
| gptkbp:industry |
gptkb:software
|
| gptkbp:key_people |
gptkb:Philip_Wadler
gptkb:Derek_Dreyer gptkb:Dan_Licata John Launchbury |
| gptkbp:notable_project |
Formal verification tools
Cryptographic software Programming languages research |
| gptkbp:partnerships |
Academic institutions
Government agencies |
| gptkbp:services |
gptkb:Research_and_development
|
| gptkbp:type |
gptkb:Private
|
| gptkbp:website |
https://galois.com
|
| gptkbp:bfsParent |
gptkb:Philip_Wadler
|
| gptkbp:bfsLayer |
6
|