GET IN TOUCH
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
John Christensen
Research Engineer
Background
John Christensen joined Galois in 2025. He is interested in cryptography and the specification and verification of safety-critical systems. John earned a B.S. in Mathematics from the University of Denver, and spent five years developing, evaluating, and verifying cryptographic systems as a federal employee.
In his spare time, John enjoys running and playing video games.
WORK AREAS
No areas found
