他目前的主要研究方向为（1）通用概率编程的数学理论和领域特定工具链，（2）资源安全的编程语言的设计与实现，（3）软件系统中随机性和不确定性的定量分析和