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

ICFP 2022	Department of Computer Science, University of Oxford in Steering Committee
ECOOP 2022	Committee Member in Program Committee within the Research Papers-track
‹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	Session Chair of Essays Session 1 (part of Onward! Essays) 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	Department of Computer Science, University of Oxford in Steering Committee Author of How to design co-programs (JFP Presentation) within the Research Papers-track
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

ICFP 2017 Tue 19 Sep 2017
Using Slack at ICFP 2017 Tue 19 Sep 2017
Cafes Mon 28 Aug 2017
St Giles' Fair Wed 17 May 2017
Sightseeing Wed 17 May 2017
Walking, running, punting Wed 17 May 2017
Pubs and bars Wed 17 May 2017
Restaurants Wed 17 May 2017
ICFP 2017 local information Wed 17 May 2017
Proeflokaal in Amsterdam Sat 29 Oct 2016