HMC专家:克里斯托弗·斯通

克里斯托弗·斯通博士，研究程序设计语言理论与实现. 他对函数式和面向对象语言的类型系统以及类型系统所能提供的安全性和正确性保证特别感兴趣. Stone致力于为计算机语言设计和实现具有高级特性(如可扩展对象和单例类型)的类型系统.

Stone最近的研究包括与Melissa O 'Neill合作研究观察合作多线程(一种在多核机器上进行并行编程的简单模型)。, 并与美国宇航局喷气推进实验室的罗伯特·凯勒及其同事一起研究可检查序列语言(将模型检查应用于无人航天器模拟).

媒体露面