Robert Boyer
Job Title
Professor Emeritus
Research Interests

* Program verification
* Automatic theorem proving
* Artificial intelligence

Research Units
Artificial Intelligence Laboratory
Affiliated Departments
Computer Science
Sign in to Bookmark
Where to learn more
http://www.cs.utexas.edu/~boyer/

WHAT SHOULD I DO NEXT?

Before reaching out about your research interests, the Office of Undergraduate Research recommends you attend an info session or advising for tips on contacting faculty members.