Edsger W. Dijkstra , physicien néerlandais, informaticien et universitaire (né en 1930)

Edsger Wybe Dijkstra ( DYKE-strə ; néerlandais : [ˈɛtsxər ˈʋibə ˈdɛikstra] (écouter) ; 11 mai 1930 - 6 août 2002) était un informaticien, programmeur, ingénieur logiciel, scientifique des systèmes, essayiste scientifique et pionnier de l'informatique néerlandais. Physicien théoricien de formation, il a travaillé comme programmeur au Mathematisch Centrum (Amsterdam) de 1952 à 1962. Professeur d'université pendant une grande partie de sa vie, Dijkstra a occupé la Schlumberger Centennial Chair in Computer Sciences à l'Université du Texas à Austin à partir de 1984. jusqu'à sa retraite en 1999. Il a été professeur de mathématiques à l'Université de technologie d'Eindhoven (1962–1984) et chercheur à la Burroughs Corporation (1973–1984). En 1972, il est devenu la première personne qui n'était ni américaine ni britannique à remporter le prix Turing.

L'une des figures les plus influentes de la génération fondatrice de l'informatique, Dijkstra a contribué à façonner la nouvelle discipline à la fois en tant qu'ingénieur et théoricien. Ses contributions fondamentales couvrent divers domaines de l'informatique, notamment la construction de compilateurs, les systèmes d'exploitation, les systèmes distribués, la programmation séquentielle et concurrente, le paradigme et la méthodologie de programmation, la recherche sur les langages de programmation, la conception de programmes, le développement de programmes, la vérification de programmes, les principes de génie logiciel, les algorithmes de graphes, et les fondements philosophiques de la programmation informatique et de l'informatique. Plusieurs de ses articles sont à l'origine de nouveaux domaines de recherche. Plusieurs concepts et problèmes qui sont désormais standard en informatique ont d'abord été identifiés par Dijkstra ou portent des noms inventés par lui. Jusqu'au milieu des années 1960, la programmation informatique était davantage considérée comme un art (ou un métier) que comme une discipline scientifique. Selon les mots de Harlan Mills (1986), "la programmation [avant les années 1970] était considérée comme une activité privée de résolution d'énigmes consistant à écrire des instructions informatiques pour fonctionner comme un programme". À la fin des années 1960, la programmation informatique était en crise. Dijkstra faisait partie d'un petit groupe d'universitaires et de programmeurs industriels qui prônaient un nouveau style de programmation pour améliorer la qualité des programmes. Dijkstra, qui avait une formation en mathématiques et en physique, a été l'un des moteurs de l'acceptation de la programmation informatique en tant que discipline scientifique. Il a inventé l'expression « programmation structurée » et, dans les années 1970, elle est devenue la nouvelle orthodoxie de la programmation. À l'origine du mouvement de programmation structurée (le premier mouvement remarquable dans l'histoire de la programmation informatique), ses idées sur la méthodologie de programmation ont contribué à jeter les bases de la naissance et du développement de la discipline professionnelle du génie logiciel, permettant aux programmeurs d'organiser et de gérer de plus en plus projets logiciels complexes. Comme l'a noté Bertrand Meyer (2009), « La révolution des visions de la programmation amorcée par l'iconoclasme de Dijkstra a conduit à un mouvement connu sous le nom de programmation structurée, qui prônait une approche systématique et rationnelle de la construction de programmes. La programmation structurée est la base de tout ce qui a été fait. depuis dans la méthodologie de programmation, y compris la programmation orientée objet. "L'étude académique de l'informatique concurrente a commencé dans les années 1960, avec Dijkstra (1965) crédité d'être le premier article dans ce domaine, identifiant et résolvant le problème d'exclusion mutuelle. Il a également été l'un des premiers pionniers de la recherche sur les principes de l'informatique distribuée. Son travail fondamental sur la concurrence, les sémaphores, l'exclusion mutuelle, l'impasse (étreinte mortelle), la recherche des chemins les plus courts dans les graphes, la tolérance aux pannes, l'auto-stabilisation, parmi de nombreuses autres contributions, comprend de nombreux piliers sur lesquels repose le domaine de l'informatique distribuée. Peu de temps avant sa mort en 2002, il a reçu le ACM PODC Influential-Paper Award en informatique distribuée pour ses travaux sur l'auto-stabilisation du calcul de programme. Ce prix annuel a été rebaptisé Prix Dijkstra (Prix Edsger W. Dijkstra en informatique distribuée) l'année suivante. Comme le prix, parrainé conjointement par le Symposium sur les principes du calcul distribué (PODC) de l'Association for Computing Machinery (ACM) et le Symposium international sur le calcul distribué (DISC) de l'Association européenne pour l'informatique théorique (EATCS), reconnaît qu'"Aucun autre individu a eu une plus grande influence sur la recherche dans les principes de l'informatique distribuée ».