生物：

我是华盛顿大学保罗·G·艾伦计算机科学与工程学院的博士生。我在PLSE小组从事轻量级软件验证。我的导师是迈克·恩斯特。

我目前的工作重点是在Checker Framework之上构建类型系统，以解决软件工程中的实际问题。