董威 童梅 胡守仁 侯苏宁 姬孟洛 钱俊彦 刘椿年 齐治昌 曹鹏 杨波 徐宝文 王戟 张明义 陈意云 刘万伟 王怀民 谢刚 李梦君 陈立前 高鹰

Galois连接 代码迷惑 程序变换 精化 值范围分析 程序分析 静态分析 Widening算子 AND并行性 强保留 凸闭包 区间分析 压平算法 模式识别 编译器优化 抽象域 模式推导 完备性 强接合 抽象模型检验 语义 多面体抽象域 弱接合 Narrowing算子 软件工程 逻辑程序设计