| RefNo | EC/2018/29 |
| Level | Item |
| Title | O'Hearn, Peter William: certificate of election to the Royal Society |
| Date | 9 May 2018 |
| Description | Certificate endorsing election of Peter O'Hearn as a Fellow of the Royal Society, including personal details of the elected Fellow and citing the reasons for election and names of proposers. Signed off by the Executive Director of the Royal Society, Julie Maxton. |
| Citation | Peter O'Hearn is distinguished for his invention, development, deployment and evaluation of Separation Logic, as an elegant framework for automatic verification of computer programs. He has personally solved a scientific challenge which has stood for thirty years, that of reasoning soundly and efficiently about the correctness of programs that mutate data structures. Based on his fundamental theoretical findings, he developed practical methods and tools for software development and verification, which have been adopted by major software and Internet companies, and are widely applied. For the revolutionary advance represented by Concurrent Separation Logic, O'Hearn received the prestigious 2016 Gödel Prize. |
| Extent | 4p |
| Format | Computer printout |
| PhysicalDescription | A4 papers |
| AccessStatus | Closed |
| AccessConditions | Election certificates are subject to 50 year closure period from date of election. Details of proposers are kept confidential until the 50 year closure period has elapsed. |