约翰是加州大学圣地亚哥分校PL/HCI博士生。他的研究是程序合成，特别关注交互式网络程序的合成。此外，他还对交互式合成、图表、约束系统、程序语义、垃圾收集、函数语言及其实现以及静态分析/抽象解释感兴趣。