Мартен ван Эмден

Мартен ван Эмден
Мартен ван Эмден
	Ван Эмден в Виктории, Британская Колумбия, 2008 год.
Рожденный	Маартен Херман из Эмдена ; 31 декабря 1937 г. ; Велп, Нидерланды
Умер	4 января 2023 г. (85 лет) ; Виктория, Британская Колумбия , Канада
Гражданство	Нидерланды ; Канада ;
Альма-матер	Амстердамский университет
Известный	Логическое программирование ; Пролог ; Искусственный интеллект
	Научная карьера
Поля	Информатика ; Логика
Учреждения	Университет Виктории ; Университет Ватерлоо
Диссертация	Анализ сложности (1971)
Докторантура	Адриан ван Вейнгаарден

Маартен Херман ван Эмден (31 декабря 1937 - 4 января 2023) был голландско-канадским математиком и ученым-компьютерщиком, чьи исследования основ логического программирования и логического программирования в ограничениях оказали большое влияние.

Ранние годы

Ван Эмден родился в Вельпе, Нидерланды, и его раннее детство прошло в основном в Голландской Ост-Индии. Он проходил национальную военную службу в 1959–1960 годах, работая пилотом и офицером. Он посещал национальную летную школу и работал пилотом в авиакомпании KLM с 1960 по 1963 год. ^[1]

Образование

Ван Эмден получил степень магистра Делфтского технологического университета в 1966 году и степень доктора компьютерных наук в Амстердамском университете в 1971 году. Его диссертация под названием «Анализ сложности» была посвящена теории информации и анализу данных. Руководителем его диссертации был Адриан ван Вейнгаарден , который также руководил другим известным голландским ученым-компьютерщиком Эдсгером В. Дейкстрой . ^[2]

Карьера

С 1971 по 1972 год Ван Эмден работал научным сотрудником в Исследовательском центре IBM Томаса Дж. Уотсона , а затем присоединился к группе машинного интеллекта в Эдинбургском университете в качестве научного сотрудника под руководством Дональда Мичи . В 1975 году он иммигрировал в Канаду, чтобы поступить на факультет Университета Ватерлоо . Он перешел в Университет Виктории в 1987 году. Среди его приглашенных научных сотрудников - Эдинбургский университет в 1980 году, Имперский колледж (Великобритания) в 1982–1983 годах и NWO (Нидерланды) в 2000–2001 годах. ^{[ нужна ссылка ]}

В сотрудничестве с Робертом Ковальски ван Эмден разработал семантику фиксированной точки предложений Хорна, которая лежит в основе логической семантики логического программирования. ^[3] Далее он исследовал вопросы проверки и корректности программного обеспечения, удовлетворения ограничений, а также интервальной арифметики и интервального распространения.. ^[4] Он написал программу на Прологе для получения советов для некоторых шахматных эндшпилей. ^[5]

В период с 2008 по 2019 год ван Эмден написал сборник эссе по практике программирования, а также истории и философии вычислений в блоге под названием «Место программиста». ^[6]

Ссылки

^ «Некролог Маартена Ван Эмдена (31 декабря 1937 г. - 4 января 2023 г.) - Виктория, Британская Колумбия - The Times Colonist» . Legacy.com .
^ «Мартен ван Эмден — вики по шахматному программированию» .
^ ван Эмден М. и Ковальски Р., «Семантика логики предикатов как языка программирования», в журнале ACM , Vol. 23, № 4, 1976, стр. 733–742.
^ Хики, Т.; Джу, К.; ван Эмден, Миннесота (2001). «Интервальная арифметика: от принципов к реализации». Журнал АКМ . 48 (5): 1038–1068. CiteSeerX 10.1.1.43.8001 . дои : 10.1145/502102.502106 . S2CID 15105694 .
^ Мартен ван Эмден (1982). Советы по шахматному окончанию игры: пример использования знаний на компьютере . Машинный интеллект 10
^ https://vanemden.wordpress.com/

[1] «Некролог Маартена Ван Эмдена (31 декабря 1937 г. - 4 января 2023 г.) - Виктория, Британская Колумбия - The Times Colonist» . Legacy.com .

[2] «Мартен ван Эмден — вики по шахматному программированию» .

[3] ван Эмден М. и Ковальски Р., «Семантика логики предикатов как языка программирования», в журнале ACM , Vol. 23, № 4, 1976, стр. 733–742.

[4] Хики, Т.; Джу, К.; ван Эмден, Миннесота (2001). «Интервальная арифметика: от принципов к реализации». Журнал АКМ . 48 (5): 1038–1068. CiteSeerX 10.1.1.43.8001 . дои : 10.1145/502102.502106 . S2CID 15105694 .

[5] Мартен ван Эмден (1982). Советы по шахматному окончанию игры: пример использования знаний на компьютере . Машинный интеллект 10

[6] ttps://vanemden.wordpress.com/

[1]

[2]

[3]

[4]

[5]

[6]

Базы данных авторитетного контроля
Международный	ВИАФ
Национальный	Израиль
академики	ЦиНии