Jeremy Gibbons

Registered user since Wed 2 Mar 2016

Name: Jeremy Gibbons

Bio: I am Professor of Computing in the Department of Computer Science at the University of Oxford. I am currently Director of the Software Engineering Programme, which offers part-time professional Masters’ degrees in Software Engineering and in Software and Systems Security. I also lead the Algebra of Programming research group. I am Editor-in-Chief of the Journal of Functional Programming, Past Vice Chair of ACM SIGPLAN, Past Chair of IFIP WG2.1. Before taking up this post in 1999, I held lectureships at Oxford Brookes University and the University of Auckland, New Zealand.

Country: United Kingdom

Affiliation: Department of Computer Science, University of Oxford

Personal website: http://www.cs.ox.ac.uk/jeremy.gibbons/

Research interests: Programming languages, software engineering, program construction

Contributions

‹Programming› 2019Committee Member in Program Committee within the Research Papers-track
POPL 2019Committee Member in Steering Committee
DSLDI 2018Committee Member in Program Committee within the DSLDI 2018-track
NPFL 2018Committee Member in Program Committee within the NPFL 2018-track
Author of APLicative Programming with Naperian Functors within the NPFL 2018-track
Session Chair of Talks III (part of NPFL 2018)
Bx 2018Committee Member in Programme Committee within the Bx 2018-track
Session Chair of Mathematical Foundations (part of Bx 2018)
Author of Profunctor Optics and the Yoneda Lemma within the Bx 2018-track
SPLASH 2018Speaker of Composable References and the Yoneda Lemma within the SPLASH-I-track
Speaker in Speakers within the SPLASH-I-track
ICFP 2018Author of What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl) within the Research Papers-track
Session Chair of Keynote 3 (part of Keynotes and Reports)
ICFP'17 General Chair in Steering Committee
Author of Relational Algebra by Way of Adjunctions within the Research Papers-track
‹Programming› 2018Committee Member in Program Committee within the Research Papers-track
ARRAY 2017Author of Invited talk: APLicative Programming with Naperian Functors within the ARRAY 2017-track
Onward! 2017Committee Member in Program Committee within the Onward! Essays-track
CurryOn 2017Author of Profunctor Optics: Modular Data Accessors within the Curry On Talks-track
ICFP 2017Session Chair of Monday Keynote (part of Keynotes and Reports)
ICFP'17 General Chair in Steering Committee
General Chair in Organizing Committee
POPL 2018Committee Member in Steering Committee
‹Programming› 2017Author of Profunctor Optics: Modular Data Accessors within the Research Papers-track
SA-MDE 2016Presenter of Wrap-up and discussion within the SA-MDE-track
Presenter of Welcome within the SA-MDE-track
Organizing Committee in Organizing Committee within the SA-MDE-track
Session Chair of Session 1: ALIGNED, The Metadata Catalogue and Booster (part of SA-MDE)
Haskell 2016Author of Free Delivery (Functional Pearl) within the Haskell-track
TyDe 2016Author of APLicative Programming with Naperian Functors within the TyDe-track
POPL 2017Committee Member in Steering Committee
PLDI 2017Committee Member in Steering Committee
PPS 2016Author of Reasoning about Probability and Nondeterminism within the PPS 2016-track
Onward! 2016Committee Member in Program Committee within the Onward! Essays-track
SLE 2016Committee Member in Program Committee within the SLE-track
ICFP 2016Committee Member in External Review Committee within the Research Papers-track
Session Chair of Session 12 (part of Research Papers)
ICFP'17 General Chair in Steering Committee
DSM 2015Author of Domain Specific Modelling for Clinical Research within the DSM-track
POPL 2016Committee Member in Steering Committee
DBPL 2015Session Chair of Session 4 (part of DBPL)
Author of Relational Algebra by way of Adjunctions within the DBPL-track
PEPM 2015Session Chair of Tree and Grammars (part of PEPM 2015)
Committee Member in Program Committee within the PEPM 2015-track
SPLASH 2015SIGPLAN Vice Chair in Steering Committee
DSLDIAuthor of Compositionality in embedded DSLs within the DSLDI-track
Onward!Committee Member in Steering Committee
SPLASH 2014Committee Member in Steering Committee

Blog Posts