Edsger Dijkstra
De Wikipedia, la enciclopedia libre
Edsger Wybe Dijkstra (*11 de mayo, 1930 - †6 de agosto, 2002) fue un científico de la computación de origen neerlandés.
Dijkstra estudió física teórica en la Universidad de Leiden. Trabajó como investigador para Burroughs Corporation a principios de los años 1970. En la Universidad de Texas en Austin, Estados Unidos, ocupó el Schlumberger Centennial Chair in Computer Sciences. Se retiró en 2000.
Entre sus contribuciones a la informática está el algoritmo de caminos mínimos; también conocido como Algoritmo de Dijkstra. Recibió el Premio Turing en 1972.
Era conocido por su baja opinión de la sentencia GOTO en programación, que culminó en 1968 con el artículo Go To Statement Considered Harmful, visto como un paso importante hacia el rechazo de la expresión GOTO y de su eficaz reemplazo por estructuras de control tales como el bucle while. El famoso título del artículo no era obra de Dijkstra, sino de Niklaus Wirth, entonces redactor de Comunicaciones del ACM. Dijkstra era un aficionado bien conocido de Algol60, y trabajó en el equipo que desarrolló el primer compilador para este lenguaje. En ese mismo año creó el primer sistema operativo con estructura jerárquica, de niveles o capas. Fue denominado THE (Technische Hogeschool, Eindhoven) que se utilizó con fines didácticos.
Desde los años 70, 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. El programa que resulta entonces es sabido correcto por la construcción. Mucho de los últimos trabajos de Dijkstra tratan sobre las maneras de hacer fluida la argumentación matemática.
Dijkstra murió el 6 de agosto de 2002 después de una larga lucha contra el cáncer.
[editar] Véase también
- Algoritmo de Dijkstra
- Teorema de Dijkstra
- Problema de los filósofos cenando
- GaCeLa
- Algoritmo del banquero
[editar] Enlaces externos y referencias
- Escritos de Edsger Wybe Dijkstra
[editar] En inglés
- Edsger Wybe Dijkstra 1930-2002
- Escritos de E. W. Dijkstra
- E. W. Dijkstra, Go To Statement Considered Harmful, Communications of the ACM, Vol. 11 (1968) 147-148; edición en Internet
- Trabajos completos
