University of Mary Washington
Automated reasoning in security and formal verification of cryptographic protocols and algorithms
Andrew Marshall's work focuses on applying automated reasoning to cybersecurity.
Marshall is an associate professor of computer science at the University of Mary Washington.
Marshall completed his post-doctoral research at the U.S. Naval Research Lab and earned his Ph.D. in computer science from the University at Albany — State University of New York.