Oh, crap. Just learned that Peter Neumann died of covid this morning.
@ColinTheMathmo Peter Michael Neumann, British mathematician
Not to be confused with Peter Gabriel Neumann, comp.risks / SRI:
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!