Jump to Navigation

The University of Texas at Austin

Search

American Mathematical Society's Current Prize in Automatic Theorem Proving

Faculty Recipient:

Robert S. Boyer

Award:

American Mathematical Society's Current Prize in Automatic Theorem Proving

Year Received:

1991

Award Website URL:

http://www.ams.org/profession/prizes-awards/ams-supported/atp-prizes

Tags:

Career Research Excellence Awards

About Us
Research
Faculty
Awards & Honors
Undergraduate Program
Graduate Program
Careers
- Services for Students
- Services for Employers
Outreach
Alumni
UTCS Direct

Department of Computer Science The University of Texas at Austin
2317 Speedway, Stop D9500 Austin, TX 78712
Phone: 512.471.7316 Fax: 512.471.8885

under-info [at] cs [dot] utexas [dot] edu (Undergraduate Office) | csadmis [at] cs [dot] utexas [dot] edu (Graduate Office) | oea [at] cs [dot] utexas [dot] edu (Office of External Affairs) | webmaster [at] cs [dot] utexas [dot] edu (Webmaster) | More Contact