He attended Carnegie Mellon University and earned his Doctor of Philosophy (PhD) in computer science in 1968.
With Aaron R. Bradley he co-authored a textbook, The Calculus of Computation, that serves as an introduction to both first-order logic and formal verification.
[3] He received the Bauer Prize from the Technical University of Munich, and an honorary doctorate from the École Normale Supérieure de Cachan.
He supervised 30 doctoral students, including Nachum Dershowitz, Adi Shamir, Thomas Henzinger, Pierre Wolper, and Martín Abadi.
You can help Wikipedia by expanding it.This biographical article relating to a computer specialist in the United States is a stub.