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
Research interests:Programming languages, software engineering, program construction

Contributions

‹Programming› 2022 Committee Member in Steering Committee
FHPNC 2021 Committee Member in Program Committee within the FHPNC 2021-track
ARRAY 2021 Author of Welcome and opening within the ARRAY 2021-track
Co-chair in Organizing Committee within the ARRAY 2021-track
SPLASH 2021 Committee Member in Program Committee within the Onward! Essays-track
APLAS 2020 Committee Member in Program Committee
FHPNC 2020 Committee Member in Program Committee within the FHPNC 2020 (cancelled)-track
ARRAY 2020 Committee Member in Organizing Committee within the ARRAY 2020 (Cancelled)-track
Committee Member in Organizing Committee within the ARRAY 2020 (Cancelled)-track
‹Programming› 2021 Associate Editor, Program Chair in Program Committee within the Research Papers-track
Associate Editor, Program Chair in Organizing Committee
Session Chair of Session 3 (part of Research Papers)
Author of Conference Closing within the -track
Session Chair of Session 11 (part of Research Papers)
ICFP 2021 Committee Member in Steering Committee
ECOOP 2020 Session Chair of S-6 (part of Research Papers)
Session Chair of S-5 (part of Research Papers)
Committee Member in External Review Committee within the Research Papers-track
PEPM 2020 Committee Member in Program Committee within the PEPM 2020-track
ICFP 2020 Session Chair of Asia 3 (JFP talks) (part of ICFP Program)
Session Chair of New York 3 (JFP talks) (part of ICFP Program)
‹Programming› 2020 Committee Member in Program Committee within the Research Papers-track
PLMW @ ICFP 2019 Committee Member in Speakers within the PLMW @ ICFP 2019-track
Author of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2019-track
FHPNC 2019 Committee Member in Program Committee within the FHPNC-track
TyDe 2019 Co-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 2019 Chair 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 2019 Ordinary PC member in Program Committee within the Research Papers-track
SPLASH 2019 Committee Member in External Review Committee within the OOPSLA-track
ECOOP 2019 Author of Origami Programming for Fun and Profit within the Summer School-track
‹Programming› 2019 Committee Member in Program Committee within the Research Papers-track
POPL 2019 Committee Member in Steering Committee
DSLDI 2018 Committee Member in Program Committee within the DSLDI 2018-track
NPFL 2018 Committee 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 2019 ICFP'17 General Chair in Steering Committee
Bx 2018 Committee 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 2018 Speaker of Composable References and the Yoneda Lemma within the SPLASH-I-track
Speaker in Speakers within the SPLASH-I-track
ICFP 2018 Author 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› 2018 Committee Member in Program Committee within the Research Papers-track
ARRAY 2017 Author of Invited talk: APLicative Programming with Naperian Functors within the ARRAY 2017-track
Onward! 2017 Committee Member in Program Committee within the Onward! Essays-track
CurryOn 2017 Author of Profunctor Optics: Modular Data Accessors within the Curry On Talks-track
ICFP 2017 Session Chair of Monday Keynote (part of Keynotes and Reports)
ICFP'17 General Chair in Steering Committee
General Chair in Organizing Committee
POPL 2018 Committee Member in Steering Committee
‹Programming› 2017 Author of Profunctor Optics: Modular Data Accessors within the Research Papers-track
SA-MDE 2016 Presenter 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 2016 Author of Free Delivery (Functional Pearl) within the Haskell-track
TyDe 2016 Author of APLicative Programming with Naperian Functors within the TyDe-track
POPL 2017 Committee Member in Steering Committee
PLDI 2017 Committee Member in Steering Committee
PPS 2016 Author of Reasoning about Probability and Nondeterminism within the PPS 2016-track
Onward! 2016 Committee Member in Program Committee within the Onward! Essays-track
SLE 2016 Committee Member in Program Committee within the SLE-track
ICFP 2016 Committee 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 2015 Author of Domain Specific Modelling for Clinical Research within the DSM-track
POPL 2016 Committee Member in Steering Committee
DBPL 2015 Session Chair of Session 4 (part of DBPL)
Author of Relational Algebra by way of Adjunctions within the DBPL-track
PEPM 2015 Session Chair of Tree and Grammars (part of PEPM 2015)
Committee Member in Program Committee within the PEPM 2015-track
SPLASH 2015 SIGPLAN Vice Chair in Steering Committee
DSLDI Author of Compositionality in embedded DSLs within the DSLDI-track
Onward! 2014 Committee Member in Steering Committee
SPLASH 2014 Committee Member in Steering Committee

Blog Posts