Ian is a Research Engineer at Galois, specializing in Cryptography and Secure Computation. He joined Galois in 2022 after earning his PhD in Computer Science from the University of Maryland, College Park. His research broadly addresses the intersection of language design, formal methods, and cryptography.
Ian has expertise in type systems (e.g. substructural types, information-flow types, dependent types), secure computation (e.g. zero-knowledge proofs, secure multiparty computation, oblivious RAM), and formal methods (e.g. automated testing, symbolic execution, interactive theorem proving). He has experience engineering type systems, compilers, and interpreters for languages that integrate cryptography and secure computation.