Harald Ganzinger とは

Harald Ganzinger(1950年10月31日、Werneck – 2004年6月3日、Saarbrücken)はドイツのコンピュータ科学者であり、Leo Bachmairとともに重畳計算を開発しました。これは、最新の自動化された1次論理の定理証明者。
彼は彼の博士号を受けた。 1978年にミュンヘン工科大学で学びました。1991年以前はドルトムント大学のコンピュータサイエンス教授でした。その後1991年に設立されたばかりのSaarbrückenのMax Planck Institute for Computer Scienceに入社しました。2004年まで、Max Planckコンピュータサイエンス研究所のプログラミング論理学科のディレクター、ザールランド大学の名誉教授でした。彼の研究グループは、SPASS自動定理証明を作成しました。
彼は自動定理証明への彼の重要な貢献のために2004年(死後)Herbrand賞を受賞しました。