conf.researchr.org / Jeremy Gibbons
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 also lead the Algebra of Programming research group. I have served as Deputy Head of Department, and as Director of the Software Engineering Programme, which offers part-time professional Masters’ degrees in Software Engineering and in Software and Systems Security. I am Editor-in-Chief of the Journal of Functional Programming, Chair of the ICFP Steering Committee, 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

PEPM 2020Committee Member in Program Committee within the PEPM 2020-track
‹Programming› 2020Committee Member in Program Committee within the Research Papers-track
PLMW @ ICFP 2019Committee Member in Speakers within the PLMW @ ICFP 2019-track
Author of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2019-track
FHPNC 2019Committee Member in Program Committee within the FHPNC-track
TyDe 2019Co-chair in Program Committee within the TyDe 2019-track
Co-chair in Organizing Committee within the TyDe 2019-track
Session Chair of Interaction and Applications (part of TyDe 2019)
Session Chair of Invited Talk and Metatheory (part of TyDe 2019)
ARRAY 2019Chair in Organizing Committee within the ARRAY 2019-track
Session Chair of Session 2 (part of ARRAY 2019)
Session Chair of Session 1 (part of ARRAY 2019)
APLAS 2019Ordinary PC member in Program Committee within the Research Papers-track
SPLASH 2019Committee Member in External Review Committee within the OOPSLA-track
ECOOP 2019Author of Origami Programming for Fun and Profit within the Summer School-track
‹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)
ICFP 2019ICFP'17 General Chair in Steering Committee
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 Wednesday Keynote (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! 2014Committee Member in Steering Committee
SPLASH 2014Committee Member in Steering Committee

Blog Posts