Government-funded academic research on parallel computing, stream processing, real-time shading languages, and programmable ...

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