Бернард Мельцер (ученый-компьютерщик)

Бернард Мельцер
Рожденный	1916 ЮАР
Умер	4 июля 2008 г. (04 июля 2008 г.) (91–92 года)
Научная карьера
Докторантура	Райнхольд Фюрт
Докторанты	Пэт Хейс Роберт Ковальски

Бернард Мельцер (родился в 1916 году в Южной Африке ; умер 4 июля 2008 года) — британский учёный-компьютерщик, который вместе с Дональдом Мичи был одним из главных основоположников исследований искусственного интеллекта в Эдинбургском университете .

Мельцер изучал физику в Кейптаунском университете со степенью бакалавра в 1934 году и некоторое время работал демонстратором физики в Кейптауне. Он эмигрировал в Великобританию, где работал в компании Маркони , а после начала Второй мировой войны - в Научно-исследовательском институте телекоммуникаций, проводившем исследования в области радаров. В 1941 году он записался в добровольческий резерв Королевских ВВС и с 1943 года преподавал радиолокацию и электронику военнослужащим в Абердинском университете . После войны пошел в промышленность (Mullard's Radio Valve Company, с 1949 в исследовательских лабораториях EMI). В 1953 году он получил докторскую степень в Лондонском университете по математической физике вместе с Рейнхольдом Фюртом (1893–1979). В 1955 году он стал преподавателем, а затем и читателем на факультете электротехники Эдинбургского университета, занимаясь исследованиями в области электроники (как полупроводников, так и ламп). Его исследования в области ионного движения привели к приглашению НАСА в Стэнфордский университет в 1962 году.

Мельцер также интересовался математической логикой и начал работать в области информатики и искусственного интеллекта. В 1964/65 году он работал в компьютерной лаборатории Атласа Совета научных исследований , а затем основал отдел метаматематики в Эдинбургском университете. Основное внимание Подразделение уделяло автоматическим методам доказательства. В 1972 году он получил кафедру вычислительной логики (соответственно названию новой кафедры, пришедшей на смену отделу метаматематики). С 1974 по 1977 год он возглавлял отдел искусственного интеллекта. В 1978 году вышел на пенсию.

Эдинбург стал центром искусственного интеллекта при нем и Дональде Мичи, с такими учеными, как Роберт Ковальски (который был одним из основателей логического программирования в начале 1970-х годов) и Алан Банди . Дж. Стротер Мур (получивший там докторскую степень в 1973 году), Роберт С. Бойер (приглашенный ученый с 1971 по 1973 год) и Пэт Хейс (как и Роберт Ковальски, его докторант).

Вместе с Дональдом Мичи он опубликовал серию «Машинный интеллект» (тома с 4 по 7) с 1969 по 1972 год.

В 1979 году он получил первую награду Дональда Э. Уокера за выдающиеся заслуги .

Внешние ссылки

• Некролог в Эдинбургском университете