J Strother Moore

Admiral B.R. Inman Centennial Chair Emeritus 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
Fax: 512 471-8885

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

Computer Sciences Department,
University of Texas at Austin.