毛承洁 胡荣 周风华 汤娜 李松 陈子聪 冀高峰 潘炎 曾颖 苏军根 周生明 罗烨敏 傅秀芬 梁路 邓培民 李志均 区海翔 郑婷婷 印鉴 杨学良 潘茂林 申宇铭 胡苏 麦健彬 黄昌勤 张静 刘浩钊 舒忠梅 丁国芳 彭重嘉

数据库系统 有限自动机 时态数据演算 ADSL 描述逻辑 工程 CIM模型 CSCW 模糊ER模型 数据库应用 时态变量语义 SHOIQ（D） FALNUI 时态信息 Wizard 计算机支持的协同工作 Petri网 Web数据库 委托授权 决策支持 智能主体 时态数据 基于角色的访问控制 Tableaux算法 自适应 面向服务的计算 时间变元 关系数据库 并发的Lambek演算 推理算法

广西桂林 中国科学院计算技术研究所 广东工业大学计算机系 中山大学计算机科学系 浙江宁波 中国科学技术大学研究生院计算机科学系 广东工业大学计算机科学系 广西师范大学计算机科学与信息工程学院桂林