La Singularidad Desnuda

Un universo impredecible de pensamientos y cavilaciones sobre ciencia, tecnología y otros conundros

Posts Tagged ‘C.A.R. Hoare’

C.A.R. Hoare cumple hoy 74 años

Posted by Carlos en enero 11, 2008

C.A.R. HoareHay dos formas de realizar un diseño software: hacer que sea tan simple que sea obvio que no tiene deficiencias, o hacer que sea tan complicado que no tenga deficiencias obvias. El primer método es más difícil.

C.A.R. Hoare (1934-), informático británico

Las “viejos cocodrilos” de la programación siguen cumpliendo años, y hoy le toca a Sir Charles Anthony Richard “Tony” Hoare, que cumple 74. A Hoare le debemos una de las joyas de la algorítmica, el algoritmo de ordenación quicksort, y el lenguaje formal CSP, en el que se basa Occam (lenguaje que en su día me dio tardes de gloria programando transputers). También desarrolló una lógica formal para verificación pre-post de algoritmos (qué tiempos aquellos, buscando invariantes en los bucles; luego vendría Dijkstra con su semántica de transformación de predicados y sus precondiciones más débiles). En 1980 recibió el premio Turing por “sus contribuciones fundamentales a la definición y diseño de los lenguajes de programación”. La frase del encabezado está tomada precisamente de su discurso de aceptación.

Hoare estuvo en 2005 en España, en el Primer Congreso Español de Informática, y dio una charla plenaria sobre software verificable. Se mostró en todo momento como una persona muy afable, y con toda amabilidad y la mayor de las sonrisas atendía a todo el que luego le buscaba para comentarle algo, o simplemente presentarle sus respetos. Sin duda, Sir C.A.R. Hoare es todo un caballero.

Posted in Algorítmica, Citas, Informática, Personajes, Programación | Etiquetado: , , | 4 Comments »