| RefNo | EC/2024/68 |
| Level | Item |
| Title | Winskel, Glynn: certificate of election to the Royal Society |
| Date | 21 April 2024 |
| Description | Certificate endorsing election of Glynn Winskel as a Fellow of the Royal Society. Includes personal details of the elected Fellow, citation giving the reasons for election, and names of proposers. Signed by the Executive Director of the Royal Society, Julie Maxton. |
| Citation | Glynn Winskel has changed how computer scientists view, formalise, and analyse computation, from distributed protocols to hardware behaviour to biochemical pathways. His early work on event structures is used widely, for instance, in verifying cryptographic protocols and weak memory. He discovered a fundamental categorical foundation underlying all models of interactive computation that is both technically deep and conceptually simple; it has been adopted extensively by otherwise separate research communities. In recent work, he provided a previously elusive unifying notion of strategy for distributed games, bridging across mathematical proof, and probabilistic and quantum computation, and unthinkable without his categorical foundation. |
| 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 and date certificate was first submitted for candidacy are kept confidential until the 50 year closure period has elapsed. |