Robert Boyer
Job Title
Research Interests

* Program verification
* Automatic theorem proving
* Artificial intelligence

Affiliated Departments