Harald Ganzinger
হ্যারাল্ড গ্যানজিঙ্গার (31 অক্টোবর 1950, ওয়ার্নেক-3 জুন 2004, সারব্রুকেন) একজন জার্মান কম্পিউটার বিজ্ঞানী ছিলেন যিনি লিও বাকমেয়ারের সাথে মিলে সুপারপজিশন ক্যালকুলাস তৈরি করেছিলেন, যা (2007 সালের হিসাবে) প্রথম-ক্রম যুক্তির জন্য বেশিরভাগ অত্যাধুনিক স্বয়ংক্রিয় উপপাদ্য প্রবাহে ব্যবহৃত হয়। তিনি 1978 সালে মিউনিখের কারিগরি বিশ্ববিদ্যালয় থেকে পিএইচডি অর্জন করেন। 1991 সালের আগে তিনি ডর্টমুন্ড বিশ্ববিদ্যালয়ের কম্পিউটার বিজ্ঞানের অধ্যাপক ছিলেন। তারপর 1991 সালে প্রতিষ্ঠিত হওয়ার পরপরই তিনি সারব্রুকেনের ম্যাক্স প্ল্যাঙ্ক ইনস্টিটিউট ফর কম্পিউটার সায়েন্সে যোগ দেন। 2004 সাল পর্যন্ত তিনি ম্যাক্স প্ল্যাঙ্ক ইনস্টিটিউট ফর কম্পিউটার সায়েন্সের প্রোগ্রামিং লজিক্স বিভাগের পরিচালক এবং সারল্যান্ড বিশ্ববিদ্যালয়ের সাম্মানিক অধ্যাপক ছিলেন। তাঁর গবেষণা দলটি এস. পি. এ. এস. এস স্বয়ংক্রিয় উপপাদ্য প্রবাদটি তৈরি করেছিল। স্বয়ংক্রিয় উপপাদ্য প্রমাণের ক্ষেত্রে গুরুত্বপূর্ণ অবদানের জন্য তিনি 2004 সালে (মরণোত্তর) হারব্র্যান্ড পুরস্কার লাভ করেন। রেফারেন্স পুনর্লিখন-ভিত্তিক সমীকরণ উপপাদ্য নির্বাচন এবং সরলীকরণের সাথে প্রমাণ, লিও বাকমেয়ার এবং হ্যারাল্ড গ্যানজিঙ্গার, জার্নাল অফ লজিক অ্যান্ড কম্পিউটশন 3 (4), 1994। বাহ্যিক লিঙ্ক হারাল্ড গানজিঞ্জারের ব্যক্তিগত হোমপেজ-Dec.7th, 2013-এর সংস্করণ archive.org 1950 জন্ম 2004 মৃত্যুতে সংরক্ষিত স্বয়ংক্রিয় উপপাদ্য জার্মান কম্পিউটার বিজ্ঞানীদের প্রমাণ করে মিউনিখের কারিগরি বিশ্ববিদ্যালয়ের প্রাক্তন শিক্ষার্থী ডর্টমুন্ডের কারিগরি বিশ্ববিদ্যালয়ের একাডেমিক কর্মী ম্যাক্স প্ল্যাঙ্ক ইনস্টিটিউট ফর ইনফরম্যাটিক্স ম্যাক্স প্ল্যাঙ্ক ইনস্টিটিউটের পরিচালক