جيريمي جيبونز

جيريمي جيبونز عالم حاسوب وأستاذ علوم الحاسوب في جامعة أكسفورد . ^{[ 1 ]} يشغل منصب نائب مدير برنامج هندسة البرمجيات في قسم علوم الحاسوب ، وزميل مجلس إدارة كلية كيلوج ^{[ 2 ] [ 3 ]} ، ونائب رئيس جامعة أكسفورد. ^{[ 4 ]}

حصل البروفيسور جيبونز على درجة البكالوريوس (مع مرتبة الشرف) في علوم الحاسوب من جامعة إدنبرة (1983-1987)، ودرجة الدكتوراه في الفلسفة في الحوسبة من جامعة أكسفورد (1987-1991). ^{[ 3 ]}

قبل توليه منصبه الحالي، كان أولاً محاضراً في علوم الحاسوب بجامعة أوكلاند (1991-1996)، ثم محاضراً ومحاضراً أول في الحوسبة بجامعة أكسفورد بروكس (1996-1999)، ثم قارئاً في هندسة البرمجيات بجامعة أكسفورد. ^{[ 3 ]}

تشمل أنشطته البحثية لغات البرمجة وأساليبها؛ البرمجة الوظيفية؛ البرمجة العامة؛ تقنية الكائنات؛ مواصفات البرامج، واشتقاقها، وتحويلها. ^{[ 3 ]}

تشمل مشاريعه الحالية CancerGrid؛ البرمجة العامة لأنواع البيانات؛ التوليد التلقائي لمكونات البرمجيات؛ سير العمل لمعلوماتية السرطان الحيوية. ^{[ 3 ]}

تغطي منشوراته البرمجة العامة ، والبرمجة الوظيفية ، والأساليب الرسمية ، وعلم الأحياء الحاسوبي ، والمعلوماتية الحيوية ، ^{[ 5 ] [ 6 ]} وتصميم الخوارزميات باستخدام لغة هاسكل بالاشتراك مع ريتشارد بيرد . ^{[ 7 ]}

وهو عضو في الاتحاد الدولي لمعالجة المعلومات (IFIP) ومجموعة العمل 2.1 التابعة للاتحاد الدولي لمعالجة المعلومات والمعنية باللغات والحسابات الخوارزمية، ^{[ 8 ]} والتي حددت وحافظت ودعمت لغات البرمجة ALGOL 60 و ALGOL 68. [ ^{9 ] ومنذ} عام 2009، شغل منصب الرئيس .

• الموقع الرسمي ، أكاديمي
• أنماط البرمجة الوظيفية – مدونته