研究所向，与长期积累
北京大学计算机学院教授，长期研究程序逻辑、程序语义以及计算机系统的描述与验证。主持多项国家自然科学基金与国家高技术研究项目，并持续推进计算理论、复杂性与系统建模的交叉研究。
从研究方向到可核实成果
数据治理与资产图谱
构建可信数据治理、质量控制与数据生成方法，支撑可复用的智能数据基础。
诊疗大模型与智能体
面向诊疗流程研发医学大模型、多模态理解与智能体协作方法。
数据分析与科学发现
融合统计分析、机器学习与领域知识，发现可验证的科学证据与研究线索。
资料依据公开主页整理，正式上线前由本人或实验室复核。