1930 – 2002 · Informático y matemático
Edsger Dijkstra
Desarrolló un conocido algoritmo de caminos mínimos e impulsó el razonamiento riguroso sobre la corrección del software.
- Algoritmos
- Computación teórica
Aportaciones principales
- Diseñó el algoritmo de caminos mínimos que lleva su nombre.
- Contribuyó al estudio de la concurrencia y los semáforos.
- Defendió la programación estructurada y la corrección de programas.
Encontrar caminos en un grafo
Dijkstra trabajó en los primeros sistemas de programación neerlandeses. Su algoritmo de caminos mínimos permite encontrar distancias desde un origen en grafos con pesos no negativos, una condición necesaria para su aplicación habitual.
Razonar antes de ejecutar
También estudió la coordinación de procesos y la estructura de los programas. Su trabajo ayudó a situar la corrección y la claridad del razonamiento en el centro de la ingeniería del software.
Conecta con lo que aprendes
Probar algunos ejemplos no garantiza que un algoritmo sea correcto para todas sus entradas. Identificar sus condiciones de uso y sus invariantes te ayuda a explicar por qué funciona y cuándo no debes aplicarlo.