Boyer, Robert S., Ph.D., Texas (Austin), 1971 Professor in Computer Sciences (No. 4 & No. 5). Mathematics: Program Verification, Automatic Theorem Proving, and Artificial Intelligence. Professor. boyer@cs.utexas.edu