Edsger Dijkstra

Edsger Dijkstra Imagen en Infobox. Biografía
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
Otras informaciones
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)
Pronunciación Reconocido por
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 .

Biografía

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 .

El sistema operativo

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. .

La instrucción GOTO

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 .

Algorítmico

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 .

Premio Turing

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.

Citas

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.

Referencias

  1. Escuche a Edsger Dijkstra en forvo.com.
  2. (in) "  El pionero de la informática muere Dijkstra  " en CNET News ,8 de agosto de 2002(consultado el 6 de septiembre de 2012 )
  3. Phillip Laplante, Great Papers in Computer Science , West Pub. Co., EE. UU.,14 de febrero de 1996, ( ISBN  0-314-06365-X ) , pág.  420
  4. cita de ACM , Association for Computer Machinery
  5. Edsger Wybe Dijkstra, titulado The Humble Programmer , lea la traducción al francés en línea
  6. (en) Edsger Wybe Dijkstra , "  Sistemas autoestabilizantes a pesar del control distribuido  " , Comunicaciones del ACM , vol.  17, n o  11,1974, p.  643-644 ( leer en línea [PDF] )
  7. Invitación a la informática por G. Michael Schneider, Judith L. Gersting, Keith Miller
  8. (en) Edsger Dijkstra, "  El humilde programador  " , Comunicaciones del ACM , vol.  15, n o  10,1972, p.  859-866

Ver también

Bibliografía

Artículos relacionados

enlaces externos