Virginia Tech® home

Andrew Marshall

Andrew Marshall Headshot

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.