Ryan Scott

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.

Background

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.