HombreLobo's World

Martes, 13 de septiembre de 2005

¡Saludos desde el CEDI!

¡Hola a todos! Escribo desde el hall del congreso, esta mañana he tenido el honor de conocer a Sir Anthony Hoare, un hombre muy sencillo y amable, que inventó en 1960 el algoritmo más rápido de ordenación y desde entonces es una eminencia en la computación, ha continuado dando grandes aportaciones a historia de la informática, las cuales relataré cuando tenga más tiempo.
De momento esto está tranquilo, estoy en la zona de internet de la primera planta del Palacio de Congresos de Granada.

CEDI: Día 1

Este es un update a fecha vencida, lo escribo hoy miércoles porque ayer estuve demasiado ocupado :) aquí en la zona de internet del Palacio de Congresos.
El día comenzó (para los voluntarios como) yo a las 8 de la mañana, pues teníamos que tener todo a punto para cuando llegaran los ponentes de los distintos simposios, tarea de la cual se encargan otros voluntarios, pero los encargados de los ordenanadores teníamos que ayudar a ponerlos en marcha y a terminar de montar la red.
La verdad es que los profesores que nos están coordinando son muy atentos y se lo están currando.
Como las primeras horas no estaban todos los pc's en red, no tenían acceso a internet y había que decirles a los asistentes que no se podían usar todos. Estando en eso se sentó un señor con aspecto extranjero y tuve que explicarle (de forma un poco patosa) que no estaban todos conectados, todavía. El hombre sonrió y se sentó en los que le había indicado. Luego vino mi compañero y me enseñó la foto del periódico del congreso, en la que venía este señor:

Resumidamente, Sir Anthoy es Senior Researcher en el laboratorio de Microsoft Research en Cambridge (Inglaterra) y Profesor Emérito del Laboratorio de Computación de la Universidad de Oxford. Es muy conocido, entre otros trabajos , por la invención, en 1960 del Quicksort (el algoritmo de ordenación más utilizado en el mundo), por el lenguaje formal CSP (tercer trabajo más citado en computación según las estadísticas de Citeseer) utilizado para especificar interacciones entre procesos concurrentes, base para la definición del lenguaje de programación OCCAM. En 1980 recibió el Premio Turing de la ACM por "sus contribuciones fundamentales a la definición y diseño de los lenguajes de programación".

Además de todo un placer concerle, tengo que destacar que es humilde y basante simpático.
Por la tarde tuvo lugar el acto de inauguración del Congreso en la Sala García Lorca del Congreso, que es la mayor de todas, en la que tuvieron voz los presidentes de los comités científicos, el excmo. señor alcalde de Granada y el Sr. Rector de la Universidad de Granada, entre otras personalidades notables.



Posteriormente el Sr. Hoare llevó a cabo la conferencia inaugural acerca del Verified Software.





A las 21 horas asistimos al cocktail de bienvenida del CEDI amenizado por la Granada Blues Band y en el que charlamos distendidamente acerca de las anécdotas del día.

Por: Hombrelobo | Cultura Libre | Comentarios (0) | Referencias (0)