Isaac Potoczny-Jones

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.

Tozny, Inc. is a technology company based in Camas, WA. Tozny provides an integrated platform that enables businesses and organizations to build foundational end-to-end security into their products from the ground up in a zero-trust environment. The Tozny platform manages identity and privileged access for people and things, the complete encryption of all data, and keys for software and hardware applications. The private company offers flexible deployment options along with a powerful developer SDK for easy integration into applications and services. Tozny delivers as a service and via SDKs to easily protect businesses, workforces, and individuals against data breaches and security threats. The company was founded by Isaac Potoczny-Jones and Jonathan DeHart, who have been the CEOs since incorporation.

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.

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.

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.

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.

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.

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.