Эдсгер Вибе Дейкстра родился 11 мая 1930 года. Известен как нидерландский учёный, исследователь распределённых вычислений и формальной верификации, один из разработчиков концепции структурного программирования, его работы оказали влияние на развитие информационных технологий и информатики.
Биография
Эдсгер родился в г. Роттердам (Нидерланды).
Обучался в Лейденском университете на факультете теоретической физики. Программированием начал заниматься с 1951 года, закончил в Кембридже трёхнедельные компьютерные курсы. В 1952 году Дейкстра стал работать программистом в Математическом центре в Амстердаме. Его руководителем стал профессор Адриан ван Вейнгаарден, который впоследствии является автором двухуровневых грамматик ван Вейнгаардена – одного из способов формального описания грамматики формальных языков.
С этого же года Эдсгер Вайб уже принял решение окончательно связать свою деятельность с программированием, но заканчивает курс теоретической физики.
Дейкстра при поиске путей оптимизации разводки плат, во второй половине 1950-х годов разрабатывает алгоритм отыскания кратчайшего пути на графе, который стал известен под названием «алгоритм Дейкстры».
С 1958 по 1960 год Дейкстра принимал активное участие в разработке языка программирования Алгол, работая в группе создания компилятора языка. Группа соревновалась с датской командой Петера Наура. Дейкстра дал клятву до завершения проекта не бриться и победил, так как написал компилятор за полтора месяца, при этом он изобрел «вызов по имени» – новое правило компиляции.
В 1960-х годах Дейкстра участвует в создании операционной системы THE, которая построена в виде множества параллельно исполняющихся взаимодействующих процессов. В ходе создания ОС появилась идея семафора, родилось понятие синхронизации процессов, а также появилось осознание необходимости структуризации самих программ и процесса программирования.
Долгое время Дейкстра работает в компании Burroughs.
В 1970-х годах совместно Никлаусом Виртом и Тони Хоаром Дейкстра разрабатывает основные положения структурного программирования.
Дейкстра преподает в Техасском университете до конца своих дней. Умер Эдсгер Дейкстра в возрасте 72 лет 6 августа 2002 года в г. Нюэнен (Нидерланды) от рака.
Научная деятельность
Дейкстра стал известен своими работами по применению математической логики в ходе разработки компьютерных программ. Являлся активным участником при разработке языка программирования Алгол и создателем первого компилятора Алгол-60.
Дейкстра, являясь одним из авторов концепции структурного программирования, продвигал идею отказа от использования инструкции GOTO. Является автором идеи применения «семафоров» с целью синхронизации процессов в многозадачных системах и алгоритма нахождения самого короткого пути на ориентированном графе, который стал известен как алгоритм Дейкстры.
Награды
Лауреат премии Тьюринга (1972 год).
Ежегодная премия за публикацию, которая оказала наибольшее влияние на область распределённых вычислений от Симпозиума по принципам распределённых вычислений Ассоциации вычислительной техники (2002 год). Начиная с 2003 года данная премия стала носить название премии Дейкстры в знак признания его заслуг.
Научные публикации
В своих трудах настаивал на необходимости математического подхода к программированию. Является автором нескольких книг и многих статей, среди которых:
- «Заметки по структурному программированию»,
- «Дисциплина программирования»,
- «О вреде оператора GOTO».
