Jeremy Gibbons
Professor Jeremy Gibbons CEng MBCS CITP FIAP
Room
462,
Wolfson Building,
Parks Road, Oxford OX1 3QD
United Kingdom
Interests
My research interests are in programming methodology—that is, in better languages for writing computer programs, and better ways of using the languages we already have. I am particularly concerned with functional languages (which emphasize computing with values rather than with actions) and object-oriented languages (which encourage program structures that reflect the structure of the real-world entities they are modelling), and with ways of expressing and reasoning about recurring patterns in software structure. You might be interested in my blog.
I lead the Algebra of Programming research group; I am member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi (and was chair for 6 years, and secretary for 13 years), and of IFIP Working Group 2.11 on Program Generation; and between 2012 and 2018 I was Vice Chair then Past Vice Chair of ACM SIGPLAN. I am co-Editor-in-Chief of the Journal of Functional Programming, and an Editor of The Programming Journal: The Art, Science, and Engineering of Programming and Compositionality: The open-access journal for the mathematics of composition; do consider submitting a paper!
If you would like to study with me, please read this note first.
Biography
Oxford-centric bio: I am Director of the Software Engineering Programme, which offers part-time professional Masters' degrees in Software Engineering and in Software and Systems Security; I also teach on that Programme. For the academic years 2008-2010 I was also Deputy Director of the Computing Laboratory (now the Department of Computer Science), and I served as Chair of the Faculty of Computer Science from 2012 to 2016. I am a fellow of Kellogg College. Before taking up this post in 1999, I held lectureships at Oxford Brookes University and the University of Auckland, New Zealand.
Bio for talks etc: Jeremy Gibbons is Professor of Computing at the University of Oxford, where he leads the Algebra of Programming research group, and is Director of the part-time professional postgraduate master’s programme in Software Engineering. His research interests are in programming languages, especially functional programming and patterns in programming. He is Editor-in-Chief of the journal The Art, Science, and Engineering of Programming (and was until recently Editor-in-Chief of the Journal of Functional Programming), and a member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi, and of IFIP Working Group 2.11 on Program Generation.
Roles
- Editor
- Programme Committee member
- Programme Committee member
See also
Selected Publications
-
Turner‚ Bird‚ Eratosthenes: An Eternal Burning Thread
Jeremy Gibbons
In Journal of Functional Programming. Vol. 35. No. e5. 2025.
Details about Turner‚ Bird‚ Eratosthenes: An Eternal Burning Thread | BibTeX data for Turner‚ Bird‚ Eratosthenes: An Eternal Burning Thread | DOI (10.1017/S0956796824000194) | Download (pdf) of Turner‚ Bird‚ Eratosthenes: An Eternal Burning Thread
-
Programming Language Support for Emerging Memory Technologies
Jeremy Gibbons‚ Oleg Kiselyov and Peter Braam
No. 181. May, 2024.
Details about Programming Language Support for Emerging Memory Technologies | BibTeX data for Programming Language Support for Emerging Memory Technologies | Download (pdf) of Programming Language Support for Emerging Memory Technologies | Download (pdf) of Programming Language Support for Emerging Memory Technologies
-
Binomial Tabulation: A Short Story
Hsiang−Shang Ko‚ Shin−Cheng Mu and Jeremy Gibbons
February, 2024.
Details about Binomial Tabulation: A Short Story | BibTeX data for Binomial Tabulation: A Short Story | Download (pdf) of Binomial Tabulation: A Short Story
Activities
- Software Engineering
- Clinical Informatics
- Research Informatics
- Functional Programming
- Algebra of Programming
- Information Modelling