*Edsger
Dijkstra Wybe*
Edsger Dijkstra Wybe nació de mayo de 1930 en Rotterdam, Holanda. Fue hijo
de un quimico y una matemática. Estudio Física y Matemáticas en la Universidad de
Leyden, terminando en 1951. Más tarde un doctorado en física teórica en la
misma universidad en 1956, seguido de un Ph. D. en 1959 en la Universidad de
Amsterdan. En 1952 cmenzó a trabajar en un centro matemático de Amsterdan donde
aprendio a programar, siendo el primer programador en Holanda.
En 1962 pasó a ser profesor de la Universiad
Tecnológica de Eindhoven hasta 1984. En paralelo, desde 1973 a 1984 fue
investigador para Burroughs. Finalmete, en 1984 aceptó la cátedra Schlumberger
en la Universidad de Texas at Austin , hasta que se jubiló en 1999.
Dijkstra escribió más de 1300 artículos, pero
indudablemente hay cuatro contribuciones cuyo impacto está presente en
numerosos ámbitos de la contribución moderna:
Ø
Algoritmo para encontrar el camino
más corto en un grafo, también conocido como el algoritmo de Dijkstra , este
fue el primer algoritmo de grafos que resolvió Dijkstra en1956
y publicado en 1959 porque en esa época un algoritmo era difícilmente
considerado un logro científico. Hoy en día, este algoritmo ha sido usado como
la base para protocolos de enrutamiento en Internet, sistemas de
posicionamiento global o simplemente para itinerarios de viaje.
Ø
El concepto de abrazo mortal (deadlock) y su
solución a través de semáforos y regiones de código con acceso exclusivo.
Dijktra describió el problema con la cena de los famosos cinco filósofos que
solo tenían cinco palillos para comer arroz. Si ellos no se ponían de acuerdo y
tomaban un palillo cada uno creaban un deadlock y morían de hambre pues se
necesitaban dos palillos para comer. Esta es la base de la programación
concurrente y una parte fundamental de cualquier sistema operativo.
Ø
Su aporte a la programación estructurada. Dijktra
participó en el comité que diseño ALGOL 60, el primer lenguaje de programación
estructurado y lo promovió intensamente
fomentado la verificación formal de programas y la eliminación del GOTO.
Dijkstra trabajó en el equipo que implementó el primer compilador para
ese idioma. Dijkstra y Jaap Zonneveld , quien colaboró en el compilador, acordó no
afeitarse hasta que el proyecto se ha completado. Fue uno de los primeros compiladores
de apoyo recursividad.En este tema fue autor y coautor de varios libros, además
de su artículo corto “Go To statement considered harmful” (la instrucción go to
es considerada dañina) publicada en Communications of ACM en 1968, que es
legendario.
Ø Otro concepto por Dijkstra en el campo de la computación distribuida es
la de auto-estabilización - una forma alternativa para garantizar la
fiabilidad del sistema. El
algoritmo de Dijkstra se utiliza en SPF, Primera ruta más corta , que se utiliza en el protocolos de enrutamiento OSPF y IS-IS .
Desde
la década de 1970, el principal interés de Dijkstra fue la verificación formal . La opinión predominante en ese momento
era que primero se debe escribir un programa y luego proporcionar una prueba matemática de la corrección . Dijkstra objetó señalando que las
pruebas resultantes son largos y engorrosos, y que la prueba no da ninguna idea
sobre cómo el programa ha sido desarrollado. Un
método alternativo es la derivación del programa , para "desarrollar la prueba y de la mano del
programa en la mano". Uno
comienza con una especificación matemática de lo que un programa se
supone que hace y aplica transformaciones matemáticas a la especificación hasta
que se convirtió en un programa que puede ser ejecutado. El programa resultante se sabe que es correcto por la construcción. Gran parte de la obra posterior de
Dijkstra maneras de simplificar las preocupaciones argumento matemático. En una entrevista en 2001, declaró un deseo de
"elegancia", por lo que el enfoque correcto sería para procesar los
pensamientos mentales, en lugar de tratar de hacerlos hasta que se hayan
completado. La analogía que hizo
fue comparar los enfoques de composición de Mozart y Beethoven .
Poco
antes de su muerte en 2002, recibió el ACM Premio
PODC papel influyente en la computación distribuida por su trabajo en auto-estabilización de la
computación del programa. Este
premio anual se cambió el nombre del Premio Dijkstra al
año siguiente, en su honor.
Finalmente, murió en Nuenen, Holanda el 6 de Agosto de 2002despu´s
de una larga lucha contra el cáncer. Dijkstra se casó en 1957 con María Debets
(más conocida como Ria) y tuvo tres hijos: Marcus, Feme y Rutger, el único que
siguió sus pasos en la computación.
Referencias:
vEdsger Dijkstra Wybe. [en línea].
<http://users.dcc.uchile.cl/~rbaeza/inf/dijkstra.html>. Consulta: Septiembre 9, 2012
vEdsger Dijkstra Wybe. [en línea].
<http://en.wikipedia.org/wiki/Edsger_W._Dijkstra>. Consulta: Septiembre 9, 2012
v[Anónimo]. Edsger Dijkstra Wybe. [Imagen]. Recuperado
de: <http://tinyurl.com/csysz9h>.Septiembre 9, 2012.
No hay comentarios:
Publicar un comentario