杰里米·吉本斯

教授杰里米吉本斯 CEng MBCS CITP FIAP公司

计算机教授

专业课程主任

理事机构研究员,凯洛格学院

电子邮箱：jeremy.gibbons@cs.ox.ac.uk

电话：01865 283508

电话：01865 283521

我： ORCID公司

我： DBLP公司

我：谷歌学者

学生： 推特

房间462,沃尔夫森大厦,牛津公园路OX1 3QD
英国

主题：

编程语言

已完成项目：

另请参阅：

利息

我的研究兴趣是编程方法学，也就是说，用更好的语言编写计算机程序，以及用更好的方法使用我们已有的语言。我特别担心函数式语言（强调用值而不是用动作进行计算）和面向对象语言（鼓励程序结构反映他们正在建模的真实世界实体的结构），以及表达和推理软件结构中循环模式的方法。你可能对我的博客.

我领导程序设计代数研究小组; 我是的成员IFIP工作组2.1算法语言和微积分（担任主席6年，秘书13年）IFIP工作组2.11关于程序生成；2012年至2018年期间，我曾担任ACM SIGPLAN公司.我是该杂志的联合主编函数编程杂志和的编辑程序设计杂志：程序设计的艺术、科学和工程和作文性：作文数学的开放存取期刊; 请考虑提交一篇论文！

如果你想和我一起学习，请阅读这个便条第一.

传记

牛津中心生物：我是软件工程计划提供软件工程和软件与系统安全方面的兼职专业硕士学位；我也在这个项目上授课。2008-2010学年，我还是计算机实验室（现为计算机科学系），我于2012年至2016年担任计算机科学学院主席。我是一个凯洛格学院在1999年担任这一职务之前，我在牛津布鲁克斯大学和新西兰奥克兰大学.

会谈简历等：Jeremy Gibbons是牛津大学的计算机教授，他领导着程序设计代数研究小组，兼职专业研究生导师软件工程硕士课程他的研究兴趣是编程语言，尤其是函数编程和编程模式。他是该杂志的主编编程的艺术、科学和工程（直到最近还是函数编程杂志)和的成员IFIP工作组2.1关于算法语言和微积分，以及IFIP工作组2.11关于程序生成。