生物:我目前是格拉斯哥大学计算科学学院的编程语言基础讲师。
我的研究兴趣集中在类型化函数编程语言上,尤其是并发、web编程和数据管理的函数方法。
此前,我参与了STARDUST项目,与Simon Gay和Phil Trinder合作,调查演员系统的行为类型。在此之前,我在爱丁堡大学信息学院(University of Edinburgh School of Informatics)呆了6年,首先是在普适并行博士培训中心(Centre for Doctoral Training in Pervasive Parallelism)与萨姆·林德利(Sam Lindley)和菲利普·瓦德勒(Philip Wadler)合作攻读博士学位,然后是在詹姆斯·切尼(James Cheney。我还曾在OCaml实验室和IntelliFactory工作。