Aaron Tomb
Corporate Officer/Principal presso Galois, Inc.
Profilo
Aaron Tomb has a current job as a Research Lead-Software Correctness at Galois, Inc. He obtained his undergraduate, graduate, and doctorate degrees from the University of California, Santa Cruz.
Posizioni attive di Aaron Tomb
Società | Posizione | Inizio |
---|---|---|
Galois, Inc.
Galois, Inc. Packaged SoftwareTechnology Services Galois, Inc. designs and develops technologies for security-critical systems, networks and applications. It offers research and evaluation, software engineering, Haskell language, assurance methodology, verification and validation services. The company was founded in 1999 and is headquartered in Portland, OR. | Corporate Officer/Principal | 29/03/2013 |
Formazione di Aaron Tomb
University of California, Santa Cruz | Doctorate Degree |
Esperienze
Posizioni ricoperte
Relazioni
Relazioni di 1° grado
Aziende connesse in 1º grado
Uomo
Donna
Amministratori
Dirigenti
Società collegate
Aziende private | 1 |
---|---|
Galois, Inc.
Galois, Inc. Packaged SoftwareTechnology Services Galois, Inc. designs and develops technologies for security-critical systems, networks and applications. It offers research and evaluation, software engineering, Haskell language, assurance methodology, verification and validation services. The company was founded in 1999 and is headquartered in Portland, OR. | Technology Services |
- Borsa valori
- Insiders
- Aaron Tomb