Pioneering computer scientist who devised the Quicksort algorithm, ways of verifying programs and guards against hackers ...