Харальд Ганзингер - Harald Ganzinger

Харальд Ганзингер (31 октября 1950 г., Вернек - 3 июня 2004 г., Саарбрюккен ) был Немецкий специалист в области информатики кто вместе с Лео Бахмайр разработал исчисление суперпозиции, который (по состоянию на 2007 год) используется в большинстве современных автоматические средства доказательства теорем для логика первого порядка.

Он получил свой Кандидат наук. от Технический университет Мюнхена в 1978 году. До 1991 года он был профессором компьютерных наук в Дортмундский университет. Затем он присоединился к Институт информатики Макса Планка в Саарбрюккен вскоре после ее основания в 1991 г. До 2004 г. он был директором отдела логики программирования Институт информатики Макса Планка и почетный профессор Саарский университет. Его исследовательская группа создала СПАСС автоматическое доказательство теорем.

Он получил Премия Herbrand в 2004 г. (посмертный ) за его важный вклад в автоматическое доказательство теорем.

использованная литература

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