Jeremy Gibbons - Jeremy Gibbons - Wikipedia

Jeremy Gibbons
Jeremy Gibbons.jpg
Státní občanstvíSpojené království
VzděláváníUniversity of Edinburgh (B.Sc., 1987)
University of Oxford (D. Phil., 1991)
Vědecká kariéra
PolePočítačová věda
InstituceUniversity of Auckland
Oxford Brookes University
University of Oxford
TezeAlgebry pro stromové algoritmy  (1991)
webová stránkawww.comlab.vůl.ac.Spojené království/ Jeremy.gibony

Jeremy Gibbons je počítačový vědec a profesor výpočetní techniky na University of Oxford.[1] Působí jako zástupce ředitele Program softwarového inženýrství v Ústav výpočetní techniky, Vedoucí vedoucí ve společnosti Kellogg College[2][3] a Pro-Proctor z Oxfordské univerzity.[4]

Akademický

Profesor Gibbons získal a Bakalář věd (BSc) (Hons) v informatice z University of Edinburgh (1983–1987) a doktor filozofie (DPhil) ve Výpočtu z Oxfordské univerzity (1987–1991).[3]

Před nástupem na svůj současný post byl nejprve přednášející v počítačová věda, University of Auckland (1991–1996), další, odborný asistent a odborný asistent v oboru výpočetní techniky, Oxford Brookes University (1996–1999) a poté čtenář v softwarové inženýrství na univerzitě v Oxfordu.[3]

Mezi jeho výzkumné činnosti patří programovací jazyky a metody; Funkcionální programování; generické programování; technologie objektu; specifikace programu, odvození a transformace.[3]

Mezi jeho aktuální projekty patří CancerGrid; Generické programování datových typů; Automatické generování softwarových komponent; Pracovní postup pro rakovinovou bioinformatiku.[3]

Jeho publikace pokrývají generické programování, Funkcionální programování, formální metody, výpočetní biologie a bioinformatika.[5][6]

Je členem Mezinárodní federace pro zpracování informací (IFIP) Pracovní skupina IFIP 2.1 o algoritmických jazycích a výpočtech,[7] který specifikováno, udržuje a podporuje programovací jazyky ALGOL 60 a ALGOL 68.[8] Od roku 2009 je předseda.

Reference

  1. ^ „Šest členů katedry se stává profesorem“. Ústav výpočetní techniky. University of Oxford. 28. července 2011. Citováno 5. srpna 2020.
  2. ^ Gibbons, Jeremy. „Jeremy Gibbons“. Ústav výpočetní techniky. University of Oxford. Citováno 5. srpna 2020.
  3. ^ A b C d E „Softwarové inženýrství v Oxfordu: Jeremy Gibbons“. Ústav výpočetní techniky. University of Oxford. Citováno 5. srpna 2020.
  4. ^ „Profesor Jeremy Gibbons se stává prodavačem“. Ústav výpočetní techniky. University of Oxford. 23. března 2016. Citováno 5. srpna 2020.
  5. ^ Gibbons, Jeremy (1. července 2020). „Jeremy Gibbons: Publikace“. Ústav výpočetní techniky. University of Oxford. Citováno 5. srpna 2020.
  6. ^ Gibbons, Jeremy (1. září 2007). „Jeremy Gibbons: Publikace“. Program softwarového inženýrství. University of Oxford. Citováno 5. srpna 2020.
  7. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17. srpna 2016). „Profil pracovní skupiny IFIP 2.1“. Foswiki. Citováno 6. září 2020.
  8. ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2. března 2011). „ScopeEtc: IFIP21: Foswiki“. Foswiki. Citováno 6. září 2020.

externí odkazy