发布时间：2021-08-26
浏览次数：2407
| 纪宇诚 复旦大学智能复杂体系基础理论与关键技术实验室博士后 Email: yucheng_ji@fudan.edu.cn |
简介
从事基础数学与计算机理论、人工智能交叉方向的研究工作
教育经历
2013.09-2019.09 University of California Irvine 基础数学专业 博士学位
2009.09-2013.07 复旦大学数学科学学院 数学与应用数学专业 学士学位
工作经历
2021.04-2023.06 上海华为技术有限公司&上海交通大学 博士后
2020.01-2020.11 University of California Irvine 数学系 讲师(Lecturer)
代表成果
（1）Yucheng Ji. Remarks on entropy formulae for linear heat equation. Differential Geometry and its applications 2022, DOI:10.1016/j.difgeo.2022.101926.
（2）Yucheng Ji, Hongfei Fu, Bin Fang & Haibo Chen. Affine Loop Invariant Generation via Matrix Algebra. Computer Aided Verification 2022 (CCF rank A conference), DOI: 10.1007/978-3-031-13185-1_13.
