C. A. R. Hoare

Intentando facilitar la búsqueda de palabras en el diccionario descubrió el famoso algoritmo «Quicksort».En 1960 volvió a Inglaterra, donde trabajó como programador para Elliott Brothers, una pequeña fábrica de ordenadores.Tras conseguir el rango de ingeniero jefe, coordinó un equipo mucho mayor para implementar un sistema operativo que resultó desastroso.[3]​ Hablando en una conferencia en 2009, Hoare se disculpó por haber inventado de la referencia nula:[4]​Durante muchos años, bajo su dirección, su departamento en Oxford trabajó en lenguajes de especificación formal como CSP y Z. Estos sistemas no alcanzaron la adopción esperada por la industria, y en 1995 Hoare debió reflexionar sobre los supuestos originales:[5]​