马修·帕金森

关于

我是机密计算小组的首席研究员。我的研究涵盖了内存安全的所有方面，包括运行时实现、编程语言设计和验证。我最近的研究重点是维罗纳项目（在新选项卡中打开）及其分配器snmalloc公司（在新选项卡中打开）维罗纳项目是一种新的语言，旨在探索管理记忆的有效和安全方法。它有一个新的并发模型，我们正在开发一个新类型的系统，以类似于Pony的方式跟踪所有权。

我在Java分离逻辑验证方面的工作赢得了2013年Dahl-Nygaard初级研究员奖（在新选项卡中打开）以及相关的工具支持，jStar赢得了OOPSLA 2008年最具影响力的论文（在新选项卡中打开）。我还非常活跃于并发验证，并开发了许多逻辑，将分离逻辑的思想与其他并发验证技术相结合。结合了许多这些想法的观点文件赢得了POPL 2013最具影响力的论文（在新选项卡中打开）.

在2010年3月加入微软之前，我在剑桥计算机实验室（在新选项卡中打开）研究如何验证面向对象和并发程序符合其规范。我在剑桥大学攻读博士学位 （在新选项卡中打开）关于扩展分离逻辑以推理Java程序。