Jeremy Gibbons

Jeremy Gibbons is a computer scientist and professor of computing at the University of Oxford.[1] He serves as Deputy Director of the Software Engineering Programme in the Department of Computer Science, Governing Body Fellow at Kellogg College[2][3] and Pro-Proctor of the University of Oxford.[4]

Professor

Jeremy Gibbons

D.Phil.
CitizenshipUnited Kingdom
EducationUniversity of Edinburgh (B.Sc., 1987)
University of Oxford (D.Phil., 1991)
Scientific career
FieldsComputer science
InstitutionsUniversity of Auckland
Oxford Brookes University
University of Oxford
ThesisAlgebras for tree algorithms (1991)
Websitewww.comlab.ox.ac.uk/jeremy.gibbons

Academic

Professor Gibbons obtained a Bachelor of Science (BSc) (Hons) in computer science from the University of Edinburgh (1983–1987), and a Doctor of Philosophy (DPhil) in Computation from the University of Oxford (1987–1991).[3]

Before taking his current post, he was, first, lecturer in computer science, University of Auckland (1991–1996), next, lecturer and senior lecturer in computing, Oxford Brookes University (1996–1999), and then reader in software engineering at the University of Oxford.[3]

His research activities include programming languages and methods; functional programming; generic programming; object technology; program specification, derivation and transformation.[3]

His current projects include CancerGrid; Datatype-Generic Programming; Automatic Generation of Software Components; Workflow for Cancer Bioinformatics.[3]

His publications cover generic programming, functional programming, formal methods, computational biology and bioinformatics.[5][6]

He is a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which supports and maintains the programming languages ALGOL 60 and ALGOL 68.[7] Since 2009, he has been chairperson.

gollark: I think you'd need to override print/term stuff.
gollark: Because the slight memory usage reduction isn't really worth the significant complexity.
gollark: <@!156933717628026880> Talking here since I apparently can't log in: sell at market prices and nobody will buy from you; they'll go to the better-stocked/advertised/located stores.
gollark: Wolf Mall: a wonderful symbol of economic inequality.
gollark: Always wolf mall, these days.

References
  1. "Six members of the Department become professors". Department of Computer Science. University of Oxford. 28 July 2011. Retrieved 5 August 2020.
  2. Gibbons, Jeremy. "Jeremy Gibbons". Department of Computer Science. University of Oxford. Retrieved 5 August 2020.
  3. "Software Engineering at Oxford: Jeremy Gibbons". Department of Computer Science. University of Oxford. Retrieved 5 August 2020.
  4. "Professor Jeremy Gibbons becomes Pro-Proctor". Department of Computer Science. University of Oxford. 23 March 2016. Retrieved 5 August 2020.
  5. Gibbons, Jeremy (1 July 2020). "Jeremy Gibbons: Publications". Department of Computer Science. University of Oxford. Retrieved 5 August 2020.
  6. Gibbons, Jeremy (1 September 2007). "Jeremy Gibbons: publications". Software Engineering Programme. University of Oxford. Retrieved 5 August 2020.
  7. Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 5 August 2020.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.