颜锋 韩婷婷 冯扬悦 吕建 李斌 俞春

情境演算 模型检测 环境演算 移动环境演算 自主agent 并发理论 心智状态 树逻辑 移动计算 运行时错误 半结构化数据 进程代数 互模拟 模态逻辑 agent理论 χ演算 形式系统 标号转移系统 内涵性 不可判定性 类型系统 类型演化 强标准化 表达式元性理论

南京大学计算机软件新技术国家重点实验室 扬州大学计算机科学与技术系