هارالد جانزينجر

هارالد جانزينجر (بالإنجليزية: Harald Ganzinger)‏ (من مواليد 31 أكتوبر 1950، توفي في يونيو 2004، ساربروكن) كان عالمًا ألمانيًا في مجال الكمبيوتر، وقام بالتعاون مع ليو باشماير بتطوير حساب التراكب، والذي تم استخدامه (في عام 2007) في معظم الأنظمة الأوتوماتيكية الحديثة.[1][2]

هارالد جانزينجر
(بالألمانية: Harald Ganzinger)‏  تعديل قيمة خاصية (P1559) في ويكي بيانات
معلومات شخصية
الميلاد 31 أكتوبر 1950   تعديل قيمة خاصية (P569) في ويكي بيانات
الوفاة 3 يونيو 2004 (53 سنة)   تعديل قيمة خاصية (P570) في ويكي بيانات
ساربروكن  تعديل قيمة خاصية (P20) في ويكي بيانات
الجنسية ألمانيا
الحياة العملية
المدرسة الأم جامعة ميونخ التقنية  تعديل قيمة خاصية (P69) في ويكي بيانات
شهادة جامعية دكتوراه الطبيعيات  [لغات أخرى]‏،  وشهادة التأهل للأستاذية  تعديل قيمة خاصية (P512) في ويكي بيانات
المهنة رياضياتي،  وعالم حاسوب،  ومهندس،  وأستاذ جامعي  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغات الألمانية  تعديل قيمة خاصية (P1412) في ويكي بيانات
موظف في جامعة دورتموند التقنية  تعديل قيمة خاصية (P108) في ويكي بيانات
الجوائز

حصل على الدكتوراه من جامعة ميونخ التقنية عام 1978. قبل عام 1991 كان أستاذًا لعلوم الكمبيوتر في جامعة دورتموند للتكنولوجيا. ثم التحق بمعهد ماكس بلانك لعلوم الكمبيوتر في ساربروكن بعد فترة وجيزة من تأسيسه في عام 1991. حتى عام 2004 كان مدير قسم البرمجة المنطقية لمعهد ماكس بلانك لعلوم الكمبيوتر والأستاذ الفخري في جامعة سارلاند. أنشأت مجموعته البحثية نظرية مبرمج نظام SPASS الآلي.

حصل على جائزة هيربراند في عام 2004 (بعد وفاته) لمساهماته الهامة في إثبات النظرية الآلية - انظر (قائمة الجوائز والميداليات).

مراجع

عدل
  1. ^ "Homepage: Harald Ganzinger(Max-Planck-Institut für Informatik)". people.mpi-inf.mpg.de (بالإنجليزية). Archived from the original on 2019-12-15. Retrieved 2018-08-16.
  2. ^ "Homepage: Harald Ganzinger(Max-Planck-Institut für Informatik)". people.mpi-inf.mpg.de (بالإنجليزية). Archived from the original on 2018-11-16. Retrieved 2018-08-16.

وصلات خارجية

عدل

قالب:Germany-compu-bio-stub