Nacimiento |
11 de mayo de 1930 Rotterdam |
---|---|
Muerte |
6 de agosto de 2002 Nuenen |
Nombre en idioma nativo | Edsger Wybe Dijkstra |
Nacionalidad | holandés |
Capacitación |
Universidad de Texas en Austin Gymnasium Erasmianum ( en ) (hasta1948) Universidad de Leiden (hasta1956) Universidad de Amsterdam ( doctor en filosofía ) (hasta1959) |
Ocupaciones | Matemático , físico , informático , ingeniero , profesor universitario |
Trabajé para | Universidad de Texas en Austin (1984-1999) , Burroughs Corporation (1973-1984) , Universidad Radboud de Nijmegen (1971-1972) , Universidad Tecnológica de Eindhoven (1962-1984) , Centrum voor Wiskunde en Informatica (1952-1962) |
---|---|
Campo | Ciencias de la información ( en ) |
Miembro de |
Real Academia de Artes y Ciencias de los Países Bajos Academia Estadounidense de Artes y Ciencias Asociación de Maquinaria de Computación |
Director de tesis | Adriaan van Wijngaarden (1959) |
Premios |
Premio Turing (1972) |
Algoritmo de Dijkstra EL Sistema operativo Semaphore |
Edsger Wybe Dijkstra (pronunciación: [ˈɛtsxər ˈwibə ˈdɛɪkstra] ), nacido en Rotterdam el11 de mayo de 1930y murió en Nuenen el6 de agosto de 2002Es un matemático y científico de la computación holandesa del XX ° siglo . En 1972 recibió el Premio Turing por sus contribuciones a la ciencia y el arte de los lenguajes de programación y el lenguaje Algol . Justo antes de su muerte, en 2002 , recibió el premio por artículo influyente de PoDC por su trabajo sobre la autoestabilización . Al año siguiente de su muerte, el premio pasará a llamarse en su honor Premio Dijkstra .
Después de estudiar física teórica , comenzó a trabajar en el entonces naciente campo de la informática en 1955 , del cual fue uno de los pioneros más ilustrados.
Dijkstra tenía una letra muy legible y siempre se negó a utilizar un procesador de textos, a pesar de su campo de actividad, prefiriendo la carta manuscrita fotocopiada. Luca Cardelli ha creado un elenco "Dijkstra" en su honor, que imita su escritura habitual. Dijkstra se referiría a todas sus letras como EWD seguidas de un número, siendo la última la letra EWD 1318 .
Docente de la Universidad Técnica de Eindhoven , comenzó a darse a conocer en el campo de los sistemas con THE Operating system , un sistema construido en sucesivas capas de abstracción e ideal para la docencia ("THE" es un juego de palabras con las siglas de su universidad Technische Hogeschool Eindhoven , Politécnica Eindhoven). Con la experiencia de escribir este sistema, formalizó el concepto, antes de que fuera difuso, de semáforo luego introdujo el concepto de "sección crítica" con dos ejemplos que se han convertido en clásicos: el problema de los lectores y escritores y la cena de los filósofos. .
Observando el daño causado por el uso incontrolado de la programación de instrucciones goto , escribió en 1968 al artículo de Comunicaciones de ACM que llamó " Un caso contra la declaración GOTO " ( "Un juicio contra la declaración GOTO" ). Queriendo publicar rápidamente el artículo como una carta al editor, el editor Niklaus Wirth lo renombró como " Ir a la declaración considerada perjudicial ".
Este nuevo título, así como el tema del artículo, se hizo famoso en el mundo de las tecnologías de la información. Los títulos de la forma " X considerada perjudicial " se multiplican, hasta que uno " Dijkstra considera perjudicial " ".
La instrucción goto es rápidamente marginada, y casi eliminada, por la programación estructurada (concepto de Wirth y Dijkstra, presentado entre otros en EWD 268 ). En la programación estructurada, el goto se reemplaza por declaraciones como if ... then ... else ... , while ... do , repeat ... until que fueron introducidas por Wirth en Algol W : cada declaración contiene una única entrada y una única salida, lo que finalmente hace posible la exhaustividad No es posible realizar pruebas sistemáticas con el " código espagueti ".
También se pueden imponer condiciones a la entrada única y características postuladas a la salida única, lo que abre la puerta a herramientas agregadas a la sintaxis, como aserrar (ver la lógica de Hoare ) y luego contratar la programación del lenguaje Eiffel .
Dijkstra había jugado un papel importante en el desarrollo del lenguaje Algol a finales de la década de 1950 y posteriormente desarrolló "la ciencia y el arte de los lenguajes de programación" , contribuyendo en gran medida a la comprensión de su estructura, representación e implementación. También es un seguidor del hermoso algoritmo, incluso para temas que son difíciles de tratar en la programación estructurada como las cuentas Dijkstra (coloque las cuentas de tres colores en un hilo uno por uno para que nunca haya dos secuencias adyacentes idénticas).
También está en el origen del algoritmo del mismo nombre, el algoritmo de Dijkstra , que permite calcular las rutas más cortas en un gráfico dirigido .
Su discurso de 1972 cuando recibió el premio Turing , The Humble Programmer , también se ha mantenido famoso. También es un ejercicio de auto-burla , ya que el profesor Dijkstra siempre ha sido muy consciente del valor de su trabajo.
En 1974 , Dijkstra publicó el artículo fundacional de la autoestabilización , la propiedad de un sistema distribuido para recuperar el comportamiento correcto después de cualquier falla transitoria. En 2002 , recibió el premio de artículo influyente de PoDC por este artículo. Murió poco después. Este premio pasó a llamarse Premio Dijkstra en su honor al año siguiente.
Dijkstra, conocido por su carácter difícil e intransigencia, era conocido por sus aforismos , que resumían su visión de la informática.