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.
Naomi Spargo
Research Engineer
Background
Naomi joined Galois in 2023, directly after completing her BS in Computer Science at Carnegie Mellon University. She enjoys thinking about software, any software, in a rigorous and mathematical way. She has applied this philosophy to a wide variety of projects at Galois, ranging from logic programming to differential privacy. Naomi wrote her undergraduate thesis on “store passing translations,” a style of programming that imitates mutable state in a functional setting.
Her hobbies include classical music, weightlifting, and watching the birds at her bird feeders.
