Loading article…
バーナード・メルツァー（1916年南アフリカ生まれ、2008年7月4日没）はイギリスのコンピュータ科学者で、ドナルド・ミッチーとともにエディンバラ大学における人工知能研究の主要な創始者の一人であった 。
メルツァーはケープタウン大学で物理学を学び、1934年に学士号を取得、ケープタウンで短期間物理学の助手として働いた。彼はイギリスに移住し、マルコーニ社で働き、第二次世界大戦が始まると、電気通信研究所でレーダーの研究を行った。1941年に王立空軍志願予備役に志願し、1943年からアバディーン大学で軍人にレーダーと電子工学を教えた。戦後、彼は産業界に入り（マラード無線真空管会社、1949年からはEMIの研究室）、1953年にラインホルト・ファース（1893-1979）の指導の下、ロンドン大学で数理物理学の博士号を取得した。 [ 1 ] 1955年にエディンバラ大学の電気工学科で講師となり、後に准教授となり、電子工学（半導体と真空管の両方）の研究を行った。彼のイオン推進に関する研究は、 1962年にNASAからスタンフォード大学への招待につながった。
メルツァーは数理論理学にも関心を持ち、コンピュータ科学と人工知能の研究を始めた。1964年から1965年にかけて、科学研究評議会のアトラス・コンピュータ研究所で勤務した後、エジンバラ大学にメタ数学ユニットを設立した。このユニットは自動証明法に重点を置いていた。1972年、彼は計算論理学の教授職に就任した（これはメタ数学ユニットの後継となる新設学科の名称に相当する）。1974年から1977年まで、彼は人工知能学科の学科長を務めた。1978年に退職した。
エディンバラは、彼とドナルド・ミッチーの下で人工知能の中心地となり、ロバート・コワルスキー（1970年代初頭の論理プログラミングの創始者の一人）やアラン・バンディなどの科学者が集まった。J・ストローザー・ムーア（1973年に同大学で博士号を取得）、ロバート・S・ボイヤー（1971年から1973年まで客員研究員）、パット・ヘイズ（ロバート・コワルスキーと同様、彼の博士課程の学生）もその一人である。
彼はドナルド・ミッチーと共に、1969年から1972年にかけて「機械知能」 （第4巻から第7巻）シリーズを出版した。[ 2 ]
1979年、彼は第1回ドナルド・E・ウォーカー功労賞を受賞した。