Education
Postdoctoral Fellow., Formal Methods Section, U.S. Naval Research Lab.
Ph.D., Computer Science, University at Albany-SUNY.
M.S., Computer Science, BGSU.

Research Interests
Computational Logic, Algebra in Computation, Automated Reasoning, Automated Reasoning in Security.

Website

http://rosemary.umw.edu/~marshall/