Jeremy Gibbons - Jeremy Gibbons
Jeremy Gibbons | |
|---|---|
 | |
| Alma mater | Oxford University ( D.Phil. ) |
| Vědecká kariéra | |
| Pole | počítačová věda |
| Instituce | University of Oxford |
| Teze | Algebry pro stromové algoritmy (1991) |
Jeremy Gibbons je počítačový vědec a profesor výpočetní techniky na univerzitě v Oxfordu . Působí jako zástupce ředitele programu softwarového inženýrství na katedře výpočetní techniky , člen vedoucího orgánu na Kellogg College a Pro-Proctor z Oxfordské univerzity.
Akademický
Profesor Gibbons získal titul BSc (Hons) v oboru informatiky na univerzitě v Edinburghu (1983–1987) a titul DPhil in Computation na univerzitě v Oxfordu (1987–1991).
Před nástupem do současné pozice byl nejprve lektorem informatiky na University of Auckland (1991–1996), dále lektorem a docentem výpočetní techniky na Oxford Brookes University (1996–1999) a poté Readerem v softwarovém inženýrství na University of Oxford.
Mezi jeho výzkumné činnosti patří programovací jazyky a metody; Funkcionální programování; generické programování; technologie objektu; specifikace programu, odvození a transformace.
Mezi jeho aktuální projekty patří CancerGrid; Generické programování datových typů; Automatické generování softwarových komponent; Pracovní postup pro rakovinovou bioinformatiku.
Jeho publikace pokrývají obecné programování , funkční programování , formální metody , výpočetní biologii a bioinformatiku .
Gibbons je také předsedou pracovní skupiny IFIP 2.1 , kterou zastává od roku 2009.