Ian Sweet

Research & Engineering

My research focuses on the design and implementation of scalable, high-assurance mechanisms for enhancing privacy. I believe that privacy-enhancing technologies are critical to protecting people and ensuring their right to privacy. I am currently working on formally verifying that high-performance implementations of secure computation can be securely composed.

I am always looking for new opportunities to chat about research and collaborate. Please don’t hesitate to reach out!


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.

Ian is happiest when he has opportunities to pursue research in an interdisciplinary way. He enjoys helping researchers from different communities work together.