牛津大学计算机科学系

杰里米·吉本斯：外部角色

成分杂志

编辑器

BX 2015年

方案委员会成员

2015年政治公众人物会议

方案委员会成员

FHIES/SEHC 2014年

方案委员会成员

2014年大学转学分课程

方案委员会成员

2013年IFL

方案委员会成员

DCP 2014年

方案委员会成员

FHIES 2013年

方案委员会联合主席

2013年SLE

方案委员会成员

IAP软件开发实践杂志

编辑委员会主席（2012-2015）

下午的乐趣

共探测器

下午的乐趣是一个关于函数编程和相关主题的定期研讨会

工作组

指导委员会（2006-2010年）

通用编程讲习班

哈斯克尔研讨会

指导委员会成员（2009-2013年）

溅水/OOPSLA

指导委员会成员（2012-2015年）

PPDP（PPDP）

指导委员会成员（2012-2015年）

ASPLOS公司

指导委员会成员（2012-2015年）

MPC 2012年

方案委员会主席

2012年SLE

方案委员会成员

FHIES 2012

方案委员会成员

ICEGOV 2012

方案委员会成员

2010年哈斯克尔研讨会

方案委员会主席

WCDSL 2009

总主席

IFIP TC2领域特定语言工作会议

2009年哈斯克尔研讨会

方案委员会

2008年大学转学分课程

方案委员会

统一编程理论

2009年公共光伏

方案委员会

编程语言满足程序验证

FMET 2008

Co-Chair公司

正规方法教育和培训

2009年TFM

方案委员会

教学形式化方法

哈斯克尔研讨会2008

方案委员会

2008年MPC

方案委员会

程序构造数学

ICFP公司

指导委员会成员（2012-2019年）

2008年MSFP

方案委员会

数学结构函数编程

2007年ICFP

方案委员会

函数式程序设计国际会议

PLDI公司

指导委员会成员（2012-2018年）

POPL公司

指导委员会成员（2012-2018年）

AOSA公司

指导委员会成员（2012-2015年）

2017年ICFP

总主席

工作组2.1

秘书（1996-2009），主席（2009-2015）

IFIP技术委员会2算法语言和微积分2.1工作组

ACM SIGPLAN公司

副主席（2012-2015），执行委员会成员（2015-2018）

函数编程杂志

总编辑

查看我的社论关于珍珠的构成

返回页首