Edsger Dijkstra
Detalles- Detalles
- Categoría: Quién es quien
- Publicado el Domingo, 24 Septiembre 2006 12:21
Contribuyó a la demostración formal de programas y a la teoría de grafos. También se le atribuye la invención del semáforo como mecanismo de exclusión mutua.
(1930-2002)
Dijkstra ha pasado a la historia probablemente por el conocido algoritmo que lleva su nombre, referente a la obtención de árboles de peso mínimo.
No obstante, las contribuciones de Dijskrta a la informática son muchas y variadas.
Se le considera uno de los promotores de la programación estructurada, debido a sus artículos e intervenciones en defensa de las estructuras y contra el salto incondicional (Go To Statement Considered Harmful).
También contribuyó en las teorías de demostración formal de algoritmos.
En cuanto a los sistemas operativos, se le considera el inventor del semáforo y contribuyó al desarrollo de los monitores, mecanismos utilizados por los sistemas operativos para gestionar el acceso concurrente a los recursos por parte de los procesos.
Enlaces:
-Dijkstra en la Wikipedia (en inglés)
-Biografía
-Archivo de Dijkstra en la Universidad de Texas: Transcripciones, conferencias, videos... interesantísimo (en inglés)
