J Strother Moore

Admiral B.R. Inman Centennial Chair in Computing Theory,
Department of Computer Science

Department Administrative Office and Mailing Address
Gates Dell Center, 2317 Speedway, 2.302
University of Texas at Austin
Austin, TX 78701 U.S.A.

Email: Moore at cs dot utexas dot edu
Home Page: http://www.cs.utexas.edu/users/moore
Office: GDC 7.802
Phone: 512 471-9568
Fax: 512 471-8885

Classes Education Honors
``My'' Best Ideas Publications Employment
Personal Research ACL2 Home Page
CV (pdf) Brief Biography

Moore@cs.utexas.edu
Computer Sciences Department,
University of Texas at Austin.