هارالد جانزينجر عالم حاسوب ألماني اشتهر بتطوير حساب التراكب بالتعاون مع ليو باشماير، وهو إطار لاختزال وتبسيط المعادلات يُستخدم في نظم الإثبات الآلية؛ حصل على الدكتوراه عام ١٩٧٨، كان أستاذًا في دورتموند ثم مدير قسم البرمجة المنطقية بمعهد ماكس بلانك ومؤسس مجموعة طورت نظام SPASS، ونال جائزة هيربراند بعد وفاته في ٢٠٠٤.