Robert S. Boyer
E156763
UNEXPLORED
Robert S. Boyer is an American computer scientist and logician known for his pioneering work in automated theorem proving and formal methods in software verification.
Aliases (1)
Referenced by (3)
| Subject (surface form when different) | Predicate |
|---|---|
|
J Strother Moore
("Robert S Boyer")
→
|
coAuthorWith |
|
Natarajan Shankar
→
|
hasAcademicAdvisor |
|
Herbrand Award
→
|
notableRecipient |