Research Engineer
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.