Ван Вейнгаарден, Адриан: биография

Ван Вейнгаарден продолжал активно ездить в командировки, и в одной из них (в 1958 году в окрестностях Эдинбурга) попал в автокатастрофу, в которой погибла его жена, а он сам получил тяжёлые ранения. Вернувшись к работе, он сконцентрировал свои усилия на исследовании языков программирования, активно участвуя в проектировании языков Алгол 60 и особенно Алгол 68. Для точного определения синтаксиса последнего ему пришлось ввести новый формализм двухуровневых грамматик, известный как грамматики ван Вейнгаардена (или W-грамматики). Аналогично тому, как обычные формальные грамматики являются конечным описанием бесконечных контекстно-свободных языков, двухуровневые грамматики предоставляют возможность создавать конечные описания бесконечных грамматик. Показательно, что сейчас грамматики ван Вейнгаардена преподаются в лекционных курсах по проектированию компиляторов и обработке компьютерных языков во многих университетах мира, но при этом главная публикация с их определением так и не вышла официально, и даже неофициально в виде внутреннего технического отчёта была опубликована только семь лет спустя после первого официального доклада о них или 10 лет спустя их первого использования — ван Вейнгаарден считал, что работа над двухуровневыми грамматиками не завершена, и публикации в таком виде не заслуживает.

До того, как Рэй Томлинсон решил использовать знак «@» для разделения имени адресата от названия его машины, этот знак под названием «aadje» (сокращённая форма имени «Адриан» с уменьшительным суффиксом) был известен в информатике как экслибрис ван Вейнгаардена.

Аспиранты ван Вейнгаардена

Многие учёные, защитившие диссертации под руководством Адриана ван Вейнгаардена, стали известными профессорами, ведущими специалистами в своих областях, авторами книг и учебников:

• Виллем ван дер Пул (1956, «Логические принципы некоторых простых вычислителей»)
• Николаас де Тройе (1958, «Классификация и минимизация переключающих функций»)
• Эдсгер Дейкстра (1959, «Работа с автоматическим компьютером»)
• Гюс Заутендайк (1960, «Метод возможных направлений: исследование линейного и нелинейного программирования»)
• Якоб Зонневелд (1964, «Автоматическое численное интегрирование»)
• Яко де Бакер (1967, «Формальное определение языков программирования с применением к определению Алгола 60»)
• B. J. Mailloux (1968, «К вопросу о реализации Алгола 68»)
• Райндер ван де Рит (1968, «Алгол 60 как язык обработки формул»)
• Якобус Верхуфф (1969, «Десятичные коды с обнаружением ошибок»)
• Хюго Брандт Корстиус (1970, «Упражнения в вычислительной лингвистике»)
• Маартен ван Эмден (1971, «Анализ сложности»)
• Петер ван Эмде Бос (1974, «Абстрактные классы, привязанные к ресурсам»)
• Херман те Риле (1976, «Вычислительное исследование обобщённых аликвотных последовательностей»)
• Дик Груне (1982, «О разработке ALEPH»)

Премия ван Вейнгаардена

Начиная с 60-летнего юбилея Центра математики и информатики премия ван Вейнгаардена в виде бронзовой статуэтки вручается каждые пять лет сразу двум учёным из разных областей информатики и математики.

• 2006: Нэнси Линч и Перси Дьяконис
• 2011: Эва Тардош и Джон Бутчер
• 2016: Сара ван де Геер и Ксавье Леруа

Источники

1. OBITUARIES: Prof. Adriaan van WIJNGAARDEN (1916—1987).
2. 1 2 Математическая генеалогия — Adriaan van Wijngaarden.
3. 1 2 Unsung Heroes in Dutch Computing History: Adriaan van Wijngaarden.
4. А. С. Кронрод, Беседы о программировании. КомКнига, 2006. ISBN 5-484-00413-6.
5. Unsung Heroes in Dutch Computing History: «Computing girls».
6. A. van Wijngaarden. MR 76: Orthogonal Design and Description of a Formal Language. MC, октябрь 1965, опубликовано в апреле 1972.
7. L. Meertens, K. Koster, Basic English, a Generative Grammar for a Part of English, Euratom Seminar ``Machine en Talen of E.W. Beth, Амстердамский университет, 1962.
8. Gerard Alberts, Adriaan van Wijngaarden (1916—1987) — Биографический словарь нидерландских математиков.
9. First Van Wijngaarden Awards for Lynch and Diaconis.
10. Van Wijngaarden Award 2011 for va Tardos and John Butcher.
11. CWI Soiree.