Jeremy Gibbons

Jeremy Gibbons
Fields computer science
Institutions University of Oxford
Alma mater Oxford University (D.Phil.)
Thesis Algebras for tree algorithms (1991)

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]

Academic

Professor Gibbons obtained a BSc (Hons) in Computer Science from the University of Edinburgh (1983–1987), and a 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 includes 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 covers Generic programming, Functional Programming, Formal Methods, Computational Biology and Bioinformatics.[5][6]

Gibbons is also the chairman of IFIP Working Group 2.1, a position he has held since 2009.

References

  1. ↑ "Dr Jeremy Gibbons Becomes Professor". Retrieved 2011-07-28.
  2. ↑ "Dr. Jeremy Gibbons:Oxford University Computing Laboratory". Retrieved 2010-10-10.
  3. 1 2 3 4 5 "Dr. Jeremy Gibbons:Oxford University Software Engineering Programme". Retrieved 2010-10-10.
  4. ↑ "Professor Jeremy Gibbons becomes Pro-Proctor". Retrieved 2016-04-26.
  5. ↑ "Publication of Dr Jeremy Gibbons:Oxford University Computing Laboratory". Retrieved 2010-10-10.
  6. ↑ "Publication of Dr Jeremy Gibbons:Oxford University Software Engineering Programme". Retrieved 2010-10-10.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.