اروين انجلر

بيانات شخصية
الميلاد	13 فبراير 1930 (94 سنة)
بلد المواطنة	سويسرا
المدرسة الأم	المعهد الاتحادي السويسري للتقانة في زيورخ ;
اللغة المستعملة	الألمانية
المهن	رياضياتي ; عالم حاسوب ; أستاذ جامعي
عمل عند	جامعة كاليفورنيا، بركلي ; جامعة منيسوتا ; المعهد الاتحادي السويسري للتقانة في زيورخ (1972 – 1997)
عضو في	جمعية آلات الحوسبة; أكاديمية أوروبيا (1991 – )
تلاميذه/طلابه	Wolfgang Küchlin (en) — Nadine Nivart Tschichold-Gürman (en)
المشرف على الرسالة	Paul Bernays (en) — Ernst Specker (en)
مكان حفظ الأعمال	محفوظات جامعة زيوريخ CH-001807-7:Hs 977 ;
الجوائز	زمالة رابطة مكائن الحوسبة (1995) ;

إروين إنجلر (من مواليد 13 فبراير 1930) عالم رياضيات سويسري كان من اوائل العلماء الذين ربطوا بين مختلف العلوم في العلاقات المتبادلة بين المنطق وعلوم الكمبيوتر والحساب العلمي في القرن العشرين. كان أحد طلاب بول بيرنايز في المعهد الفدرالي السويسري للتكنولوجيا في زيورخ .

بعد حصوله على الدكتوراه في عام 1958 أمضى إنجلر أربعة عشر عامًا في الولايات المتحدة حيث قام بالتدريس في جامعة مينيسوتا وجامعة كاليفورنيا (بركلي) . في عام 1959 ساهم بإثبات للعديد من الشروط المتكافئة لفئة أوميغا وهو مفهوم مهم في نظرية النموذج. عاد إلى سويسرا في عام 1972 حيث عمل أستاذاً للمنطق وعلوم الكمبيوتر في المعهد الفدرالي السويسري للتكنولوجيا في زيورخ حتى تقاعده في عام 1997.

حصل إنجلر على زمالة جمعية ماكينات الحوسبة في عام 1995.

منشورات مختارة عدل

المهن	رياضياتي عالم حاسوب أستاذ جامعي
عمل عند	جامعة كاليفورنيا، بركلي جامعة منيسوتا المعهد الاتحادي السويسري للتقانة في زيورخ (1972 – 1997)
عضو في	جمعية آلات الحوسبة أكاديمية أوروبيا^[2] (1991 – )
تلاميذه/طلابه	Wolfgang Küchlin ^(en) ^[1] — Nadine Nivart Tschichold-Gürman ^(en) ^[1]
المشرف على الرسالة	Paul Bernays ^(en) — Ernst Specker ^(en) ^[1]

مكان حفظ الأعمال	محفوظات جامعة زيوريخ^[3] CH-001807-7:Hs 977
الجوائز	زمالة رابطة مكائن الحوسبة (1995)