1 、题 目：基于集合关系的数据库管理系统逻辑缺陷检测技术

报告人：赖锦辉          导师：徐子晨教授

2 、题  目：面向分布式系统的混合一致性协议元模型构建与演化方法研究

报告人：易寒箫  导师：徐子晨教授

专家组

组  长：

杜建强                教授、博导    南昌大学

成  员：

吕博强   教授、博导    南昌大学

陈盛博   教授、博导    南昌大学

张聪炫   教授、博导    南昌航空大学

姜宇     副教授、博导   清华大学

秘书：张文咏   南昌大学

时  间：2026年1月18日（星期日）上午9:00

地  点：南昌大学前湖校区信工楼C616