Naomi Spargo

Research Engineer

I enjoy applying logic to programming. This can mean writing proofs about programming languages, automating reasoning to guarantee properties of code, or even defining precisely what a program is and what it should do.


Naomi joined Galois in 2023, directly after completing her BS in Computer Science at Carnegie Mellon University. She wrote her undergraduate thesis on “store passing translations,” a style of programming which imitates mutable state in a functional setting. She likes classical music, cooking, and seals.