Bernard Meltzer (computer scientist)
Bernard Meltzer was a British computer scientist, who with Donald Michie was one of the main founders of research on artificial intelligence at the University of Edinburgh.
Meltzer studied physics at the University of Cape Town with a bachelor's degree in 1934, and was briefly a physics demonstrator in Cape Town. He emigrated to Great Britain, where he worked for the Marconi Company and, after the start of the Second World War, for the Telecommunications Research Establishment conducting research on radar. In 1941 he enlisted in the Royal Air Force Volunteer Reserve and from 1943 taught radar and electronics to military personnel at the University of Aberdeen. After the war he went into industry. In 1953 he received his doctorate from the University of London in mathematical physics with Reinhold Furth. In 1955 he became a lecturer and later a reader in the electrical engineering department of the University of Edinburgh, doing research in electronics. His research on ion propulsion resulted in an invitation from NASA to Stanford University in 1962.
Meltzer also had an interest in mathematical logic and began to work in computer science and artificial intelligence. 1964/65 he worked at the Atlas Computer Laboratory of the Science Research Council and then founded the Metamathematics Unit at the University of Edinburgh. The focus of the Unit was on automatic proof methods. In 1972 he received the chair of Computational Logic. From 1974 to 1977 he was head of the Department of Artificial Intelligence. In 1978 he retired.
Edinburgh became a center of artificial intelligence under him and Donald Michie, with scientists such as Robert Kowalski and Alan Bundy. J Strother Moore, Robert S. Boyer and Pat Hayes.
With Donald Michie he published the series Machine Intelligence from 1969 to 1972.
In 1979 he received the first Donald E. Walker Distinguished Service Award.