紀宇誠檢視原始碼討論檢視歷史
紀宇誠
 |
[1] 復旦大學智能複雜體系基礎理論與關鍵技術實驗室博士後
簡介
從事基礎數學與計算機理論、人工智能交叉方向的研究工作
工作經歷
2021.04-2023.06 上海華為技術有限公司&上海交通大學 博士後
2020.01-2020.11 University of California Irvine 數學系 講師(Lecturer)
教育經歷
2013.09-2019.09 University of California Irvine 基礎數學專業 博士學位
2009.09-2013.07 復旦大學數學科學學院 數學與應用數學專業 學士學位
代表成果
（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.