时间：2020年12月29日（周二）13:30
地点：钉钉会议
答辩委员会成员：刘磊，欧阳丹彤，李占山，于哲舟，郭禾，殷明浩
秘书：张鹏
序号 |
论文题目 |
报告人 |
指导教师 |
1 |
基于机器学习的必要基因和非编码RNA识别以及关联研究 |
杨森 |
王岩 |
时间：2020年12月29日（周二）13:30
地点：钉钉会议
答辩委员会成员：欧阳丹彤，李占山，于哲舟，王岩，郭禾，殷明浩
秘书：张鹏
序号 |
论文题目 |
报告人 |
指导教师 |
1 |
云计算系统的形式化建模与验证方法研究 |
周文博 |
刘磊 |
时间：2020年12月29日（周二）13:30
地点：钉钉会议
答辩委员会成员：刘磊，李占山，于哲舟，王岩，郭禾，殷明浩
秘书：张鹏
序号 |
论文题目 |
报告人 |
指导教师 |
1 |
基于布尔可满足性的若干方法研究 |
田乃予 |
欧阳丹彤 |
时间：2020年12月29日（周二）13:30
地点：钉钉会议
答辩委员会成员：刘磊，欧阳丹彤，李占山，王岩，郭禾，殷明浩
秘书：张鹏
序号 |
论文题目 |
报告人 |
指导教师 |
1 |
约束规划问题的相容性与传播调度算法的研究 |
李哲 |
于哲舟 |
