Andrew Marshall
Current University
University of Mary Washington
Research Area
Automated reasoning in security and formal verification of cryptographic protocols and algorithms
Research Summary
Andrew Marshall's work focuses on applying automated reasoning to cybersecurity.
Background
Marshall is an associate professor of computer science at the University of Mary Washington.
Alma Mater
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.