Edsger
Wybe Dijkstra
(1930-2002)
Entre sus contribuciones a las ciencias de la computación están:
La solución del problema del camino más corto, también conocido como el algoritmo de Dijkstra, la notación polaca inversa y el relacionado algoritmo shunting yard, THE multiprogramming system, el algoritmo del banquero y la construcción del semáforo para coordinar múltiples procesadores y programas.
El algoritmo de Dijkstra es usado en la ruta más corta primero (SPF) que es usado en el protocolo de enrutamiento Open Shortest Path First (OSPF).
Desde los años 1970, el principal interés de Dijkstra fue la verificación formal. La opinión que prevalecía entonces era que uno debe primero escribir un programa y seguidamente proporcionar una prueba matemática de su corrección. Dijkstra objetó que las pruebas que resultan son largas e incómodas, y que la prueba no da ninguna comprensión de cómo se desarrolló el programa.
Un método alternativo es la derivación de programas, «desarrollar prueba y programa conjuntamente». Uno comienza con una especificación matemática del programa que se supone va a hacer y aplica transformaciones matemáticas a la especificación hasta que se transforma en un programa que pueda ser ejecutado.
Respecto a su carácter árido y ácido, conocidas son su oposición a la instrucción GOTO y al lenguaje BASIC ("mutila la mente más allá de toda recuperación"). Alan Kay expuso que "en informática, la arrogancia se mide en nanodijkstras".
Dijkstra murió el 6 de agosto de 2002 después de una larga lucha contra el cáncer.
Referencias
- Edsger Dijkstra [en línea]. Recuperado de < http://es.wikipedia.org/wiki/Edsger_Dijkstra>. Consulta Septiembre 19, 2012
- Edsger Dijkstra [Imagen]. Recuperado de: < http://upload.wikimedia.org/wikipedia/commons/thumb/d/Edsger_Wybe_Dijkstra.jpg > Consulta Septiembre 19, 2012
No hay comentarios:
Publicar un comentario