中国计算机学会CCF高级会员、IEEE会员、ACM会员。主要研究领域是操作系统与系统结构，研究兴趣为通过软硬协同设计增强计算机系统的安全性、隔离性与性能。在 OSDI、SOSP、ISCA、ASPLOS、USENIX ATC、FAST、CCS、NDSS、USENIX Security 等高水平学术会议发表多篇论文。与团队开发的系统包括：RISC-V平台的可信执行环境系统“蓬莱”，直通式进程间调用硬件扩展XPC，启动时间小于1ms的Serverless系统Catalyzer，开源的Serverless性能测试集ServerlessBench，去中心化可信搜索系统DeSearch等。