| RefNo | EC/2024/79 |
| Level | Item |
| Title | Henzinger, Thomas: certificate of election to the Royal Society |
| Date | 21 April 2024 |
| Description | Certificate endorsing election of Thomas Henzinger as a Foreign Member of the Royal Society. Includes personal details of the elected Foreign Member, citation giving the reasons for election, and names of proposers. Signed by the Executive Director of the Royal Society, Julie Maxton. |
| Citation | Thomas Henzinger has made seminal contributions to the formal modeling and algorithmic analysis of software and hardware systems over the course of a highly productive research career spanning more than three decades. Many of his most important contributions fall into two areas: he pioneered formal methods for real-time and hybrid systems, and he spearheaded the game-based approach towards reasoning about systems with multiple interacting components. Most of today's tools for the formal verification of embedded and multi-agent systems rely on techniques developed by Henzinger. Lastly, lazy abstraction refinement, a technique employed by competitive software model checkers, can serve as a representative for Henzinger's many contributions not falling directly into either area. |
| 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. |