هارالد جانزينجر من مواليد أكتوبر توفي في يونيو ساربروكن كان عالم ألماني في مجال الكمبيوتر وقام بالتعاون مع ليو باشماير بتطوير حساب التراكب والذي تم استخدامه في عام في معظم الأنظمة الأوتوماتيكية الحديثة حصل على الدكتوراه من جامعة ميونخ التقنية عام قبل عام كان أستاذ لعلوم الكمبيوتر في جامعة دورتموند للتكنولوجيا ثم التحق بمعهد ماكس بلانك لعلوم الكمبيوتر في ساربروكن بعد فترة وجيزة من تأسيسه في عام حتى عام كان مدير قسم البرمجة المنطقية لمعهد ماكس بلانك لعلوم الكمبيوتر والأستاذ الفخري في جامعة سارلاند أنشأت مجموعته البحثية نظرية مبرمج نظام  الآلي حصل على جائزة هيربراند في عام بعد وفاته لمساهماته الهامة في إثبات النظرية الآلية انظر قائمة الجوائز والميداليات مراجع                    وصلات خارجية            أرشيف الإنترنت تصنيف خريجو جامعة ميونخ التقنية تصنيف علماء حاسوب ألمان تصنيف مواليد تصنيف وفيات