Pioneering computer scientist who devised the Quicksort algorithm, ways of verifying programs and guards against hackers ...
Future quantum computers will need to be less powerful than we thought to threaten the security of encrypted messages.