Bernard Meltzer (científico informático)

Bernard Meltzer (nacido en 1916 en Sudáfrica ; fallecido el 4 de julio de 2008) fue un científico informático británico que, junto con Donald Michie, fue uno de los principales fundadores de la investigación sobre inteligencia artificial en la Universidad de Edimburgo .

Meltzer estudió física en la Universidad de Ciudad del Cabo, donde se licenció en 1934, y fue brevemente profesor de física en Ciudad del Cabo. Emigró a Gran Bretaña, donde trabajó para la empresa Marconi y, tras el inicio de la Segunda Guerra Mundial, para el Centro de Investigación de Telecomunicaciones, donde realizó investigaciones sobre radar. En 1941 se alistó en la Reserva Voluntaria de la Real Fuerza Aérea y, a partir de 1943, impartió clases de radar y electrónica a personal militar en la Universidad de Aberdeen . Tras la guerra, se incorporó a la industria (Mullard's Radio Valve Company y, desde 1949, en los laboratorios de investigación de EMI). En 1953 recibió su doctorado en física matemática por la Universidad de Londres, bajo la dirección de Reinhold Furth (1893-1979). ^{[ 1 ]} En 1955 se convirtió en profesor y posteriormente en catedrático del departamento de ingeniería eléctrica de la Universidad de Edimburgo, donde realizó investigaciones en electrónica (tanto semiconductores como tubos). Su investigación sobre la propulsión iónica le valió una invitación de la NASA a la Universidad de Stanford en 1962.

Meltzer también tenía interés en la lógica matemática y comenzó a trabajar en informática e inteligencia artificial. Entre 1964 y 1965 trabajó en el Laboratorio de Computación Atlas del Consejo de Investigación Científica y posteriormente fundó la Unidad de Metamatemáticas en la Universidad de Edimburgo. Esta unidad se centraba en métodos de demostración automática. En 1972 obtuvo la cátedra de Lógica Computacional (que correspondía al nombre del nuevo departamento que sucedió a la Unidad de Metamatemáticas). De 1974 a 1977 dirigió el Departamento de Inteligencia Artificial. En 1978 se jubiló.

Edimburgo se convirtió en un centro de inteligencia artificial bajo su liderazgo y el de Donald Michie, con científicos como Robert Kowalski (uno de los fundadores de la programación lógica a principios de la década de 1970) y Alan Bundy . También destacaron J. Strother Moore (quien obtuvo su doctorado allí en 1973), Robert S. Boyer (investigador visitante de 1971 a 1973) y Pat Hayes (al igual que Robert Kowalski, su estudiante de doctorado).

Junto con Donald Michie publicó la serie Machine Intelligence (volúmenes 4 a 7) desde 1969 hasta 1972. ^{[ 2 ]}

En 1979 recibió el primer Premio Donald E. Walker al Servicio Distinguido .

• Obituario en la Universidad de Edimburgo