The ACM obituary for PGN, by @spaf and Simson Garfinkel, is wonderful:
https://cacm.acm.org/news/in-memoriam-peter-g-neumann-1932-2026/
The ACM obituary for PGN, by @spaf and Simson Garfinkel, is wonderful:
https://cacm.acm.org/news/in-memoriam-peter-g-neumann-1932-2026/