[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 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] 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, bioinformatics,[5][6] and Algorithm Design with Haskell co-authored with Richard Bird.

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