J Strother Moore

Research Interests

I am interested in automatic theorem proving (especially with the ACL2 theorem prover), hardware and software verification and symbolic visiualization. See the ACL2 home page (cs.utexas.edu/users/moore/acl2) and the home page for the Automatic Theorem Proving Research Group (cs.utexas.edu/users/moore/atp).