中国科学院大学计算机科学与技术专业2020届优秀本科毕业论文推荐名单公示
根据本科生毕业论文（设计）工作要求，经学院各答辩委员会推荐、校级优秀毕业论文评选会专家讨论投票通过，拟推荐以下6篇毕业论文为中国科学院大学计算机科学与技术专业2020届优秀本科毕业论文，按照学校有关规定，现进行公示，公示期：2020年6月6日-2020年6月10日。
| 序号 | 学生姓名 | 导师姓名 | 论文题目 |
| 1 | 王华强 | 包云岗 | 基于RISC-V的乱序多发射处理器设计与实现 |
| 2 | 李奉治 | 徐志伟 | Do-演算应用框架的设计与实现 |
| 3 | 吴昊 | 詹乃军 | 字符串约束求解中的特殊Tarski指数函数问题 |
| 4 | 黄熠华 | 高林 | 非刚性三维模型的补全算法研究 |
| 5 | 韩雨 | 张家琳 | QuICT量子计算模拟平台的设计与实现 |
| 6 | 狄战元 | 谭光明 | 基于CRIU的高性能虚拟化服务迁移技术 |
如有异议，请在公示期间联系：
联系人：刘嫒儒
联系邮箱：liuairu@ucas.ac.cn
联系电话：69671782，15201444142
计算机科学与技术学院
2020年6月6日
