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