Xarald Ganzinger - Harald Ganzinger

Xarald Ganzinger (31 oktyabr 1950 yil, Vernek - 2004 yil 3-iyun, Saarbruken ) edi a Nemis kompyutershunos kim bilan birga Leo Baxmair ishlab chiqilgan superpozitsiyani hisoblash, (2007 yil holatiga ko'ra) eng zamonaviy jihozlarda qo'llaniladi avtomatlashtirilgan teorema provayderlari uchun birinchi darajali mantiq.

U uni qabul qildi Ph.D. dan Myunxen Texnik universiteti 1978 yilda. 1991 yilgacha u kompyuter fanlari professori bo'lgan Dortmund universiteti. Keyin u qo'shildi Maks Plank nomidagi kompyuter fanlari instituti yilda Saarbruken 1991 yilda tashkil etilganidan ko'p o'tmay. 2004 yilgacha u dasturlash mantiqlari bo'limining direktori bo'lib ishlagan Maks Plank nomidagi kompyuter fanlari instituti va faxriy professor Saarland universiteti. Uning tadqiqot guruhi SPASS avtomatlashtirilgan teorema prover.

U qabul qildi Herbrand mukofoti 2004 yilda (o'limdan keyin ga qo'shgan muhim hissalari uchun avtomatlashtirilgan teorema.

Adabiyotlar

Tashqi havolalar