Research & Engineering
My current research interests include making verification systems more accessible and building correct and secure distributed systems.
James is a Software Research Engineer with a background in programming languages and formal methods. His research spans verifying information flow control mechanisms, guaranteeing correctness of distributed systems, and studying secure development practices.
James earned his PhD in Computer Science at the University of Maryland and was advised by Dr. Mike Hicks.
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.