Gavin Bierman - 技术人员咨询成员

Gavin Bierman 是 Oracle Labs UK 的技术人员咨询成员。他是编程语言研究小组的成员,目前是 Java 团队的成员,帮助设计 Java 的下一个版本。

他的兴趣广泛,包括编程语言设计和形式化。他发表了关于 Java、C#、TypeScript、数据库(面向对象、XML 和 NoSQL)、类型系统、操作语义、分离逻辑、动态软件更新、关系代数、lambda 演算、控制运算符、模态逻辑、证明论和范畴论的论文。

他于 2014 年 3 月加入 Oracle。在此之前,他从 2004 年 3 月到 2014 年 3 月在微软剑桥研究院担任高级研究员。在此之前,他是剑桥大学计算机实验室的讲师,以及剑桥圣约翰学院的研究员、学院讲师和学习主管。他拥有剑桥大学的博士学位和帝国理工学院的理学士学位。

论文和演讲可以在 这里找到。

帖子

视频

播客