Harald Ganzinger
ஹரால்ட் கன்ஸிங்கர் (31 அக்டோபர் 1950, வெர்னெக்-3 ஜூன் 2004, சார்ப்ரூக்கன்) ஒரு ஜெர்மன் கணினி விஞ்ஞானி ஆவார், அவர் லியோ பச்மெயருடன் இணைந்து சூப்பர்போசிஷன் கால்குலஸை உருவாக்கினார், இது (2007 ஆம் ஆண்டு நிலவரப்படி) முதல்-வரிசை தர்க்கத்திற்கான பெரும்பாலான அதிநவீன தானியங்கி தேற்ற புரவல்களில் பயன்படுத்தப்படுகிறது. 1978 ஆம் ஆண்டில் முனிச் தொழில்நுட்ப பல்கலைக்கழகத்தில் முனைவர் பட்டம் பெற்றார். 1991 க்கு முன்பு அவர் டார்ட்மண்ட் பல்கலைக்கழகத்தில் கணினி அறிவியல் பேராசிரியராக இருந்தார். பின்னர் அவர் 1991 இல் நிறுவப்பட்ட சிறிது நேரத்திலேயே சார்ப்ரூக்கனில் உள்ள மேக்ஸ் பிளாங்க் இன்ஸ்டிடியூட் ஃபார் கம்ப்யூட்டர் சயின்ஸில் சேர்ந்தார். 2004 வரை அவர் மேக்ஸ் பிளாங்க் இன்ஸ்டிடியூட் ஃபார் கம்ப்யூட்டர் சயின்ஸின் புரோகிராமிங் லாஜிக் துறையின் இயக்குநராகவும், சார்லேண்ட் பல்கலைக்கழகத்தில் கவுரவ பேராசிரியராகவும் இருந்தார். அவரது ஆராய்ச்சிக் குழு SPASS தானியங்கி தேற்றம் பழமொழியை உருவாக்கியது. தானியங்கி தேற்றத்தை நிரூபிப்பதில் அவர் செய்த முக்கிய பங்களிப்புகளுக்காக 2004 ஆம் ஆண்டில் (மரணத்திற்குப் பின்) ஹெர்பிராண்ட் விருதைப் பெற்றார். குறிப்புகள் தேர்வு மற்றும் எளிமைப்படுத்தலுடன் நிரூபிக்கும் சமன்பாட்டு தேற்றத்தை மீண்டும் எழுதுதல், லியோ பச்மேர் மற்றும் ஹரால்ட் கன்ஸிங்கர், ஜர்னல் ஆஃப் லாஜிக் அண்ட் கம்ப்யூடேஷன் 3 (4), 1994. வெளிப்புற இணைப்புகள் ஹரால்டு கன்ஸிங்கரின் தனிப்பட்ட முகப்புப்பக்கம்-Dec.7th, 2013 இன் பதிப்பு archive.org 1950 பிறப்புகளில் சேமிக்கப்பட்டது 2004 இறப்புகள் ஜெர்மன் கணினி விஞ்ஞானிகளை நிரூபிக்கும் தானியங்கி தேற்றம் முனிச் தொழில்நுட்ப பல்கலைக்கழக முன்னாள் மாணவர்கள் டார்ட்மண்ட் தொழில்நுட்ப பல்கலைக்கழகத்தின் கல்வி ஊழியர்கள் மேக்ஸ் பிளாங்க் இன்ஸ்டிடியூட் ஃபார் இன்ஃபர்மேடிக்ஸ் மேக்ஸ் பிளாங்க் இன்ஸ்டிடியூட் இயக்குநர்கள்