James Parker

Research & Engineering

Background

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 is a PhD student at the University of Maryland, advised by Dr. Mike Hicks.