Edsger Wybe Dijkstra (AFI: ) (Róterdam, 11 de mayo de 1930-Nuenen, 6 de agosto de 2002) fue un científico de la computación de los Países Bajos.
Poco después de su muerte en el 2002, recibió la distinción ACM PODC Influential Paper Award en computación distribuida por su trabajo en la autoestabilización en programas computacionales. Este premio fue renombrado a Premio Dijkstra el siguiente año en su honor.
Edsger W. Dijkstra nació en Róterdam. Su padre, que fue presidente de la Sociedad Neerlandesa de Química, había aprendido química durante la secundaria y más tarde de su superintendente. Su madre era matemática, pero nunca tuvo un trabajo formal.
Dijkstra siempre había considerado emprender una carrera en Derecho y representar a los Países Bajos en las Naciones Unidas. Sin embargo, tras graduarse en la escuela en 1948, bajo la dirección de sus padres estudió Matemáticas y Física. Finalmente pasó a estudiar Física teórica en la Universidad de Leiden. Más tarde 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.
Mathematisch Centrum, Ámsterdam
Desde 1952 hasta 1962, Dijkstra trabajó en el Mathematisch Centrum en Ámsterdam, donde colaboró con Bram Jan Loopstra y Carel S. Scholten, los cuales habían sido contratados para construir un computador. Su modo de trabajo fue muy disciplinado: en primer lugar, debían escribir un manual de programación. Posteriormente los diseñadores de hardware debían tener fe en que Dijkstra, el programador, escribiera las líneas de códigos para una máquina todavía inexistente. De su experiencia aprendieron la gran importancia que tiene una documentación clara y que una tediosa depuración de un programa puede ser evitada si se ha hecho un diseño cuidadoso. En este centro, Dijkstra y Jaap Zonneveld desarrollaron un compilador para el lenguaje de programación ALGOL, que tuvo una gran influencia en su posterior actividad científica.
Universidad Tecnológica de Eindhoven
En 1962, Dijkstra se trasladó a Eindhoven, y más tarde a Nuenen, en el sur de los Países Bajos, donde se convirtió en profesor del Departamento de Matemáticas de la Universidad Tecnológica de Eindhoven. La universidad no tenía un departamento de informática separado y la cultura del departamento de matemáticas no le convenía especialmente. Dijkstra intentó crear un grupo de informáticos que pudieran colaborar en la resolución de problemas. Este fue un modelo de investigación inusual para el Departamento de Matemáticas. A finales de la década de 1960 construyó el THE operating system (llamado así por la universidad, entonces conocida como Technische Hogeschool Eindhoven), que ha influido en los diseños de los posteriores sistemas operativos por su uso de la memoria virtual paginada basada en software.
Dijkstra se incorporó a Burroughs Corporation, una empresa conocida entonces por producir ordenadores basados en una innovadora arquitectura de hardware, como becario de investigación en agosto de 1973. Sus funciones consistían en visitar algunos de los centros de investigación de la empresa un par de veces al año y llevar a cabo su propia investigación, que realizaba en la instalación de investigación más pequeña de Burroughs, es decir, su estudio en el segundo piso de su casa en Nuenen. De hecho, Dijkstra era el único investigador de Burroughs y trabajaba para ella desde su casa, viajando ocasionalmente a sus sucursales en Estados Unidos. Por ello, redujo su horario en la universidad a un día a la semana. Ese día, el martes, se convirtió pronto en el día del famoso "Club de los Martes por la Tarde", un seminario en el que discutía con sus colegas los artículos científicos, analizando todos los aspectos: notación, organización, presentación, lenguaje, contenido, etc. Poco después de trasladarse en 1984 a la Universidad de Texas en Austin (Estados Unidos), surgió una nueva "rama" del Club de los Martes por la Tarde en Austin, Texas.
Los años de Burroughs fueron los más prolíficos en cuanto a producción de artículos de investigación. Escribió cerca de 500 documentos de la serie EWD (descrita más adelante), la mayoría de ellos informes técnicos, para su circulación privada dentro de un grupo selecto.
Universidad de Texas en Austin
Dijkstra aceptó la Cátedra del Centenario de Schlumberger en el Departamento de Ciencias de la Computación de la Universidad de Texas en Austin en 1984.
Dijkstra fue uno de los pioneros en el establecimiento de la programación distribuida. Gracias a este tipo de programación, Dijkstra fue el primero en presentar una solución al problema de exclusión mutua.
Especificación formal y verificación
Desde la década de 1970 el principal interés de Dijkstra fue la verificación formal. La verificación formal es un método de validación estática, en el que, partiendo de un conjunto de axiomas, reglas de inferencia y algún lenguaje lógico, se puede encontrar una demostración de un programa. En 1976 Dijkstra publicó su libro A Discipline of Programming el cual presentó su método de desarrollo sistemático de programas, junto con sus pruebas de corrección.
En su exposición, utilizó su Lenguaje de Comandos Guardados. Este lenguaje, con su dependencia en el no determinismo, la semántica de la precondición más débil y el método de desarrollo propuesto, produjeron un impacto considerable en el campo de las ciencias de ese momento.
En 1984, para añadir mayor apoyo a su enfoque de la programación, publicó junto con Wim Feijen un libro de texto para estudiantes de primer año de informática, llamado Een methode van programmeren. La versión inglesa se publicó en 1988, llamada A Method of Programming.
Ciencias de la computación y la programación