Research Engineer
I am broadly interested in verification so that I can specify the behavior of complex systems, compilers so that I can turn high-level specifications into efficient code and deterministic execution to be sure that my code produces the same results wherever I run it.
I also enjoy writing about technical topics that I wish were documented but aren’t to better communicate complicated ideas to others.
Ryan joined Galois in 2020 as a research engineer after working as an intern in 2017. He received his M.Sc. in Computer Science from Indiana University, where he studied the intersection of programming languages and deterministic execution. He is a frequent collaborator to open source projects such as the Glasgow Haskell Compiler.
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.