| Ji Yucheng postdoctoral researcher Research Institute of Intelligent Complex Systems, Fudan University Email: yucheng_ji@fudan.edu.cn |
Biography
Ji Yucheng is engaged in researches on the intersection of basic mathematics, computer theory and artificial intelligence.
Education
2013.9-2019.9 Ph.D. Major of basic mathematics, University of California Irvine
2009.9-2013.7 B.Sc. Major of mathematics and applied mathematics, School of Mathematical Sciences, Fudan University
Professional Background
2021.4-2023.6 Postdoctoral researcher Shanghai Jiaotong University & Shanghai Huawei Technology Co., Ltd
2020.1-2020.11 Lecturer Major of mathematics, University of California Irvine
Representative Publications
（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.
