Paul Heinlein
Corporate Officer/Principal at Galois, Inc.
Active connections
| Name | Gender | Age | Linked companies | Collaboration |
|---|---|---|---|---|
| Jean Herbst | F | - |
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. | - |
| Isaac Potoczny-Jones | M | - |
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. | 20 years |
| Eric Mertens | M | - |
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. | - |
| David Burke | M | - |
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. | - |
| Aaron Tomb | M | - |
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. | 17 years |
| Jonathan Daugherty | M | - |
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. | - |
| Martin Hale | M | 52 |
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. | - |
| Rob Wiltbank | M | - |
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. | 11 years |
| Dana Herz | M | - |
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. | - |
| Leah Daniels | F | - |
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. | - |
| Jodee LeRoux | F | - |
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. | - |
| Aaron Miller | M | - |
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. | - |
Connections Chart
Multi-company connection
Former connections
| Name | Gender | Age | Linked companies | Collaboration |
|---|---|---|---|---|
| Yale Bock | M | - |
University of California, Irvine
| 5 years |
| Arthur Palisoc | M | - |
University of California, Irvine
| 3 years |
| Christopher J. Lane | M | 57 |
University of California, Irvine
| 6 years |
| Gustavo Salem | M | 60 |
University of California, Irvine
| 2 years |
| Sean Vali | M | - |
University of California, Irvine
| 4 years |
| John Lenell | M | - |
University of California, Irvine
| 4 years |
| Mike Ruberio | M | - |
University of California, Irvine
| 4 years |
| Eddy Tanuwidjaja | M | 56 |
University of California, Irvine
| 4 years |
| Brad Sherrard | M | 57 |
University of California, Irvine
| 4 years |
| Christopher White | M | - |
University of California, Irvine
| 5 years |
| John Boone | M | 69 |
University of California, Irvine
| 3 years |
| Malcolm Harkins | M | - |
University of California, Irvine
| 4 years |
| David Young | M | - |
University of California, Irvine
| 5 years |
| Lee A. Shodiss | M | - |
University of California, Irvine
| 4 years |
| Kirby Black | M | - |
University of California, Irvine
| 4 years |
| Siegfried Reich | M | 64 |
University of California, Irvine
| 3 years |
| Malea Farsai | F | 55 |
University of California, Irvine
| 4 years |
| Malcolm S. Casale | M | - |
University of California, Irvine
| 3 years |
| Donald Livsey | M | - |
University of California, Irvine
| 2 years |
| Jim Campagna | M | - |
University of California, Irvine
| 5 years |
| Heather Wood | F | - |
University of California, Irvine
| 3 years |
| Peter A. Sirgy | M | - |
University of California, Irvine
| 4 years |
| Howard Perlow | M | - |
University of California, Irvine
| 4 years |
| Roderick M. Brower | M | - |
University of California, Irvine
| 4 years |
| Steven Glenn Check | M | 63 |
University of California, Irvine
| 3 years |
| Mallory McCamant | F | 61 |
University of California, Irvine
| 2 years |
| Elisabeth Sandoval | F | 62 |
University of California, Irvine
| 4 years |
Statistics
| Country | Connections | % of total |
|---|---|---|
| United States | 39 | 100.00% |
Age of Connections
Active
Past
Male
Female
Members of the board
Executives
Origin of connections
- Stock Market
- Insiders
- Paul Heinlein
- Personal Network
