|
|
Дейкстра Эдсгер Вибе.
›
Эдсгер Вибе Дейкстра | Edsger Wybe Dijkstra | | Дата рождения: | 11 мая 1930 |
---|
Место рождения: | Роттердам (Нидерланды) |
---|
Дата смерти: | 6 августа 2002 (72 года) |
---|
Место смерти: | Нюэнен (Нидерланды) |
---|
Страна: | Нидерланды |
---|
Научная сфера: | информатика |
---|
Место работы: | Национальный исследовательский институт математики и информатики Технический университет Эйндховена Техасский университет в Остине |
---|
Альма-матер: | Лейденский университет |
---|
Известен как: | создатель алгоритма Дейкстры и семафоров один из основателей структурного программирования один из создателей операционной системы THE |
---|
Награды и премии | Премия Тьюринга
|
---|
Эдсгер Вибе Дейкстра |
Э́дсгер Ви́бе Де́йкстра (нидерл. Edsger Wybe Dijkstra (11 мая 1930, Роттердам, Нидерланды - 6 августа 2002, Нюэнен, Нидерланды) - нидерландский учёный, труды которого оказали влияние на развитие информатики и информационных технологий; один из разработчиков концепции структурного программирования, исследователь формальной верификации и распределённых вычислений. Тьюринговский лауреат (1972). Содержание- Биография
- Научные достижения
- Библиография
- Интересные факты
- Награды
- См. также
- Примечания
- Литература
- Ссылки
БиографияРодился 11 мая 1930 года в Роттердаме, в семье учёных (отец - химик, мать - математик). По окончании школы поступил на факультет теоретической физики Лейденского университета. В 1951 году увлёкся программированием, поступил на трёхнедельные компьютерные курсы в Кембридже, с 1952 года работал программистом в Математическом центре Амстердама под руководством профессора Адриана ван Вейнгаардена, впоследствии - автора одного из способов формального описания грамматики формальных языков - так называемых двухуровневых грамматик ван Вейнгаардена. Уже в 1952 году принял решение окончательно специализироваться на программировании, но всё же закончил курс теоретической физики. Во второй половине 1950-х годов в поисках путей оптимизации разводки плат разработал алгоритм поиска кратчайшего пути на графе, ставший известным как «алгоритм Дейкстры». В 1957 году женился, по собственным воспоминаниям, в графе «профессия» анкеты, которую положено заполнять при бракосочетании, написал «программист» - и его заставили переписывать документы, заявив, что такой профессии не существует, в результате пришлось указать «физик-теоретик». В 1958-1960 годах принимал участие в разработке языка программирования Алгол, работал в команде по созданию компилятора языка; соревнуясь с датской командой Петера Наура, поклялся не бриться до завершения проекта и победил, написав компилятор за шесть недель, заодно изобретя новое правило компиляции - «вызов по имени». В 1960-е годы участвовал в создании операционной системы THE (англ.), построенной в виде множества параллельно исполняющихся взаимодействующих процессов. Именно в процессе этой работы появились понятия синхронизации процессов, идея семафора, а также была чётко осознана необходимость в структуризации процесса программирования и самих программ. Длительное время работал в компании Burroughs. В 1970-е годы вместе с Тони Хоаром и Никлаусом Виртом разработал основные положения структурного программирования. В последние годы жизни преподавал в Техасском университете. Умер 6 августа 2002 года после долгой борьбы с раком. Научные достиженияИзвестность Дейкстре принесли его работы в области применения математической логики при разработке компьютерных программ. Он активно участвовал в разработке языка программирования Алгол и написал первый компилятор Алгол-60. Будучи одним из авторов концепции структурного программирования, он проповедовал отказ от использования инструкции GOTO. Также ему принадлежит идея применения «семафоров» для синхронизации процессов в многозадачных системах и алгоритм нахождения кратчайшего пути на ориентированном графе с неотрицательными весами рёбер, известный как алгоритм Дейкстры. В 1972 году стал лауреатом премии Тьюринга. В 2002 году получил ежегодную премию, вручаемую Симпозиумом по принципам распределённых вычислений (англ. Symposium on Principles of Distributed Computing) Ассоциации вычислительной техники «за публикацию, оказавшую наибольшее влияние на область распределённых вычислений»; в знак признания заслуг учёного с 2003 года эта премия носит название премии Дейкстры. БиблиографияАвтор нескольких книг и множества статей, самые известные публикации - книги «Дисциплина программирования», «Заметки по структурному программированию», статья «О вреде оператора GOTO» (англ. GOTO considered harmful). Помимо обсуждения специальных вопросов, в своих статьях и книгах Дейкстра последовательно отстаивал необходимость математического подхода к программированию, который предполагает предварительное точное, всестороннее математическое описание задачи и способа её решения, формальное доказательство правильности выбранного алгоритма и последующую реализацию алгоритма в виде максимально простой, структурированной программы, корректность которой должна быть формально доказана. По мнению Дейкстры, господствующий в компьютерной индустрии подход к программированию как к процессу достижения результата методом проб и ошибок («написать код - протестировать - найти ошибки - исправить - протестировать - …») порочен, поскольку стимулирует программистов не думать над задачей, а писать код, что при этом совершенно не гарантирует корректность программ, которая не может быть доказана тестированием в принципе. Многократно предостерегал от попыток превратить разработку программ в некий тривиальный процесс; по его мнению, программирование в сути своей - чрезвычайно сложная научная и инженерная деятельность, и никакие новые методы и инструменты не смогут кардинально изменить это положение - они лишь освобождают программиста от части рутинной работы. Попытки же превратить программирование в простое занятие, доступное каждому, обречены на провал. Интересные фактыКогда советское правительство приняло решение о переходе советской промышленности к копированию модельного ряда IBM/360, Дейкстра (работавший в то время в конкурировавшей с IBM фирме Burroughs) назвал это решение величайшей победой Запада в холодной войне, а выбранную для клонирования модель IBM/360 (прообраз советской ЕС ЭВМ) - величайшей диверсией Запада против СССР. Награды- Премия Тьюринга (1972)
- Премия Дейкстры (2002)
- C&C Prize (2002)
См. такжеПримечания- ↑ 1 2 Немецкая национальная библиотека, Берлинская государственная библиотека, Баварская государственная библиотека, Австрийская национальная библиотека Record #139688641 Проверено 9 апреля 2014.
- ↑ прослушать
- ↑ Edsger Dijkstra. The Humble Programmer // Communications of the ACM, vol. 15 (1972), 10: 859-866]
- ↑ Haldar, Sibsankar and Aravind, Alex A. Operating Systems. - Pearson, 2010. - С. 198. - 580 с. - ISBN 978-81-317-3022-5.
- ↑ Умер Эдсгер Вайб Дейкстра
- ↑ Rupert
- ↑ E.W.Dijkstra Archive: Trip report E.W.Dijkstra: NATO Summer School Marktoberdorf 1975. (EWD 506)
Литература- Дейкстра Э. Дисциплина программирования = A discipline of programming. - 1-е изд. - М.: Мир, 1978. - 275 с.
- Дал У., Дейкстра Э., Хоор К. Структурное программирование = Structured Programming. - 1-е изд. - М.: Мир, 1975. - 247 с.
- Умер Эдсгер Вайб Дейкстра (8 августа 2002). Проверено 27 сентября 2013.
- Goodwins, Rupert. Computer science pioneer Dijkstra dies (8 августа 2002). Проверено 27 сентября 2013.
Доп. информацияЧастично использовались материалы сайта http://ru.wikipedia.org/wiki/
|
|
|
|