Research Engineer, Galois
James Parker is a Research Engineer at Galois with a background in programming languages and formal methods. His research spans guaranteeing the security and correctness of distributed systems, advancing secure computation, verifying information flow control mechanisms, and studying secure development practices. James earned his PhD in Computer Science at the University of Maryland.