ACM Fellows
Lawrence C. Paulson
University of Cambridge, Computer Laboratory
Citation
For contributions to theorem provers and verification techniques.
[
Fellows
] [
Awards
]
