Harald Ganzinger
हेराल्ड गैंजिंगर (31 अक्टूबर 1950, वेर्नेक-3 जून 2004, सारब्रुकेन) एक जर्मन कंप्यूटर वैज्ञानिक थे जिन्होंने लियो बाखमेयर के साथ मिलकर सुपरपोजिशन कलन विकसित किया, जिसका उपयोग (2007 तक) प्रथम-क्रम तर्क के लिए अधिकांश अत्याधुनिक स्वचालित प्रमेय प्रोवर्स में किया जाता है। उन्होंने 1978 में म्यूनिख के तकनीकी विश्वविद्यालय से पीएचडी प्राप्त की। 1991 से पहले वे डॉर्टमुंड विश्वविद्यालय में कंप्यूटर विज्ञान के प्रोफेसर थे। फिर वह 1991 में स्थापित होने के तुरंत बाद सारब्रुकेन में मैक्स प्लैंक इंस्टीट्यूट फॉर कंप्यूटर साइंस में शामिल हो गए। 2004 तक वे मैक्स प्लैंक इंस्टीट्यूट फॉर कंप्यूटर साइंस के प्रोग्रामिंग लॉजिक्स विभाग के निदेशक और सारलैंड विश्वविद्यालय में मानद प्रोफेसर थे। उनके शोध समूह ने एस. पी. ए. एस. एस. स्वचालित प्रमेय कहावत बनाई। स्वचालित प्रमेय साबित करने में उनके महत्वपूर्ण योगदान के लिए उन्हें 2004 में (मरणोपरांत) हरब्रांड पुरस्कार मिला। संदर्भ पुनर्लेखन-आधारित समतुल्य प्रमेय चयन और सरलीकरण के साथ साबित करना, लियो बाकमेयर और हेराल्ड गैंजिंगर, जर्नल ऑफ लॉजिक एंड कम्प्यूटेशन 3 (4), 1994। बाहरी लिंक हेराल्ड गैंज़िंगर का व्यक्तिगत होमपेज-Dec.7th, 2013 का संस्करण archive.org 1950 जन्मों में सहेजा गया 2004 की मृत्यु स्वचालित प्रमेय जर्मन कंप्यूटर वैज्ञानिकों को साबित करता है म्यूनिख का तकनीकी विश्वविद्यालय पूर्व छात्र डॉर्टमुंड के तकनीकी विश्वविद्यालय के शैक्षणिक कर्मचारी मैक्स प्लैंक इंस्टीट्यूट फॉर इन्फॉर्मेटिक्स मैक्स प्लैंक इंस्टीट्यूट के निदेशक