James Parker

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.