Jeremi Gibbons - Jeremy Gibbons - Wikipedia

Jeremi Gibbons
Jeremi Gibbons.jpg
FuqarolikBirlashgan Qirollik
Ta'limEdinburg universiteti (B.Sc., 1987)
Oksford universiteti (D.Fil., 1991)
Ilmiy martaba
MaydonlarKompyuter fanlari
InstitutlarOklend universiteti
Oksford Bruks universiteti
Oksford universiteti
TezisDaraxt algoritmlari uchun algebralar  (1991)
Veb-saytwww.bola.ox.ac.uk/ Jeremi.gibbonlar

Jeremi Gibbons a kompyutershunos va hisoblash texnikasi professori Oksford universiteti.[1] U direktor o'rinbosari bo'lib ishlaydi Dasturiy ta'minot muhandisligi dasturi ichida Kompyuter fanlari kafedrasi, Etakchi kengash a'zosi Kellogg kolleji[2][3] va Pro-proektor Oksford universiteti.[4]

Akademik

Professor Gibbons a fanlar bo'yicha bakalavr (BSc) (Hons) dan informatika Edinburg universiteti (1983-1987) va a Falsafa fanlari doktori (DPhil) Oksford Universitetidan hisoblashda (1987-1991).[3]

Hozirgi lavozimini egallashdan oldin u birinchi bo'lib o'qituvchi yilda Kompyuter fanlari, Oklend universiteti (1991-1996), keyingisi, o'qituvchi va hisoblash bo'yicha katta o'qituvchi, Oksford Bruks universiteti (1996-1999), keyin o'quvchi yilda dasturiy ta'minot Oksford universitetida.[3]

Uning ilmiy faoliyati quyidagilarni o'z ichiga oladi dasturlash tillari va usullar; funktsional dasturlash; umumiy dasturlash; ob'ekt texnologiyasi; dasturning spetsifikatsiyasi, chiqarilishi va o'zgarishi.[3]

Uning hozirgi loyihalari orasida CancerGrid; Ma'lumot turi - umumiy dasturlash; Dasturiy ta'minot komponentlarini avtomatik yaratish; Saraton bioinformatikasi uchun ish jarayoni.[3]

Uning nashrlari umumiy dasturlash, funktsional dasturlash, rasmiy usullar, hisoblash biologiyasi va bioinformatika.[5][6]

U a'zosi Xalqaro axborotni qayta ishlash federatsiyasi (IFIP) IFIP ishchi guruhi 2.1 Algoritmik tillar va hisob-kitoblar bo'yicha,[7] qaysi ko'rsatilgan, dasturlash tillarini saqlaydi va qo'llab-quvvatlaydi ALGOL 60 va ALGOL 68.[8] 2009 yildan beri u shunday bo'ldi rais.

Adabiyotlar

  1. ^ "Kafedraning olti a'zosi professor bo'lishdi". Kompyuter fanlari kafedrasi. Oksford universiteti. 2011 yil 28-iyul. Olingan 5 avgust 2020.
  2. ^ Gibbonlar, Jeremi. "Jeremy Gibbons". Kompyuter fanlari kafedrasi. Oksford universiteti. Olingan 5 avgust 2020.
  3. ^ a b v d e "Oksforddagi dasturiy ta'minot muhandisligi: Jeremy Gibbons". Kompyuter fanlari kafedrasi. Oksford universiteti. Olingan 5 avgust 2020.
  4. ^ "Professor Jeremi Gibbons Pro-Proktorga aylandi". Kompyuter fanlari kafedrasi. Oksford universiteti. 23 mart 2016 yil. Olingan 5 avgust 2020.
  5. ^ Gibbonlar, Jeremi (2020 yil 1-iyul). "Jeremy Gibbons: nashrlar". Kompyuter fanlari kafedrasi. Oksford universiteti. Olingan 5 avgust 2020.
  6. ^ Gibbonlar, Jeremi (2007 yil 1 sentyabr). "Jeremy Gibbons: nashrlar". Dasturiy ta'minot muhandisligi dasturi. Oksford universiteti. Olingan 5 avgust 2020.
  7. ^ Juring, Yoxan; Meertens, Lambert; Guttmann, Valter (2016 yil 17-avgust). "IFIP Ishchi guruhining profili 2.1". Fosviki. Olingan 6 sentyabr 2020.
  8. ^ Swierstra, Doaitse; Gibbonlar, Jeremi; Meertens, Lambert (2011 yil 2 mart). "ScopeEtc: IFIP21: Foswiki". Fosviki. Olingan 6 sentyabr 2020.

Tashqi havolalar