我对人们如何学习和使用正式系统的各个方面感兴趣。我目前的重点是计算教育，重点是编程语言如何影响计算学习和教学。我还研究过硬件设计的图表逻辑（20世纪90年代末）、面向功能程序的模块化验证（21世纪初）以及访问控制和隐私政策的推理（21世纪中后期）。这些项目强调形式系统而非人类推理。我在计算机教育方面的工作倾斜了平衡，但也是同一个广泛主题的一部分。