| 学号 | BA16011016 | ||
| 姓名 | 李朝晖 | ||
| 所在院系 | 011计算机科学与技术学院 | ||
| 申请专业 | 计算机软件与理论 | ||
| 学位论文自我评价 | 论文题目 | 基于上下文精化的并发对象验证 | |
主要创新点 |
|||
| 1. | |||
| 2. | |||
| 3. | |||
有待改进之处 |
|||
| 答辩结果 | 通过：5 建议修改： 不通过：0 | ||
| 发表论文情况： | |||
| 发表论文(1) | A Program Logic for Obstruction-freedom | ||
| 论文(1)发表期刊 | Frontiers of Computer Science, CCF-B(SCI三区, 2.669) | 位于科大期刊目录第0页第0条 | |
| 论文(1)发表刊次 | 2024, 18(6):186208, EI: 20240115302674 | 论文(1)作者排名：本人第一 | |
| 发表论文(2) | Verifying contextual refinement with ownership transfer | ||
| 论文(2)发表期刊 | JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, CCF-B(SCI三区, 1.871) | 位于科大期刊目录第0页第0条 | |
| 论文(2)发表刊次 | 2021 36(6): 1342-1366, EI: 20215111366202 | 论文(2)作者排名：本人第一 | |