2009年本科毕业于吉林大学数学学院，2011年和2014年分别获得吉林大学计算数学专业硕士和中国科学院数学与系统科学研究员博士学位。2014年7月-2019年6月在华中师范大学数学与统计学学院工作，2015年8月至2017年7月在美国 Michigan State University数学系作博士后研究。
研究领域
符号计算，计算机代数，同伦算法及其应用
近期论文
1. Kai. Jin, J.S. Cheng, On the topology and isotopic meshing of plane algebraic curves, accept by Journal of Systems Science and Complexity, 2019.2. J.S. Cheng, Kai. Jin, Daniel Lazard, Certified Rational Parametric Approximation of Real Algebraic Space Curves with Local Generic Position Method, Journal of Symbolic Computation, 58: 18-40, 2013. (19)3. J.S. Cheng, Kai. Jin, A Generic Position Method for Real Roots Isolation of Zero-Dimensional Polynomial System, Journal of Symbolic Computation,68:204-224,2015.(6)4. Kai. Jin, J.S. Cheng, Isotopic Epsilon-Meshing of Real Algebraic Space Curves, Proceeding of SNC 2014, Shanghai, China, July 28-31, 2014, Proceedings of the 2014 Symposium on Symbolic-Numeric Computation Pages 118-127 ACM New York, NY, USA,2014. (5)5. Kai. Jin, J.S. Cheng, X.S. Gao, On the Topology and Visualization of Plane Algebraic Curves, Proceeding of CASC2015, Aachen, Germanny, September 14 - 18, 2015. Computer Algebra in Scientific Computing. Lecture Notes in Computer Science Volume 9301, 2015, pp 245-259.(2)美国数学会自由评论人
