颜学雄 邱莉榕 常亮 王清贤 陈韬略 颜锋 史忠植 吕建 林芬 李广元 韩婷婷 唐稚松

反应系统 访问控制 可满足性问题 分布式计算 Tableau算法 安全性分析 性质验证 定义框架 逻辑 空间逻辑 公平转换系统 开放逻辑 动态描述逻辑 移动计算 认识进程 动作理论 时序逻辑