个人简历

EMPLOYMENT\r
01/07/2020 – Now Associate Professor, Beihang University, China\r
01/01/2018 – 31/12/2020 Adjunct Researcher, Beijing Advanced Innovation Center for Big Data and Brain Computing, China\r
20/09/2013 – 31/07/2020 Assistant Professor, Beihang University, China\r
\r
EDUCATION\r
01/09/2007 – 24/06/2013 Combined Graduate–Doctoral Program at Beihang University, China\r
Ph.D. in Applied Mathematics\r
Supervisor: Dongming Wang, Professor\r
Thesis: Solving Polynomial Systems over Finite Fields: Algorithms, Implementation and Applications\r
21/09/2009 – 30/06/2013 Doctoral Program at Universit′e Pierre et Marie Curie, France\r
Ph.D. in Computer Science (Double Degrees)\r
Supervisor: Jean-Charles Faug`ere, Research Director\r
01/09/2003 – 07/07/2007 Undergraduate Program at Beihang University, China\r
Bachelor of Science in Mathematics and Applied Mathematics\r
\r
HONORS\r
Wen-Ts¨un Wu Award for Young Scholar in Computer Mathematics 2021\r
Chinese Society of Computer Mathematics, for contributions to symbolic solving of polynomial systems\r
Award for Excellent Teaching in Graduate Courses 2020\r
Beihang University, China, for the course Computer Algebra\r
Award for Teaching Achievements, First Prize 2014\r
Beihang University, China, for the textbook Polynomial Algebra (in Chinese)

研究领域

""

近期论文

Books\r
Polynomial Algebra (in Chinese) [Cover, TOC, Purchase] Dongming Wang, Chenqi Mou, Xiaoliang Li, Jing Yang, Meng Jin, and Yanli Huang, Higher Education Press, Beijing, 2011\r
\r
Journal Papers\r
Sparse triangular decomposition for computing equilibria of biological dynamic systems based on chordal graphs Chenqi Mou and Wenwen Ju, IEEE/ACM Transactions on Computational Biology and Bioinformatics, to appear\r
\r
Chordal graphs in triangular decomposition in top-down style Chenqi Mou, Yang Bai, and Jiahua Lai, Journal of Symbolic Computation, 2021, 102: 108–131\r
\r
Characteristic decomposition of polynomial sets (in Chinese) Dongming Wang, Chenqi Mou, and Rina Dong, SCIENTIA SINICA Mathematica, 2021, 51(1): 67–86\r
\r
Decomposition of polynomial sets into characteristic pairs Dongming Wang, Rina Dong, and Chenqi Mou, Mathematics of Computation, 2020, 89: 1993-2015\r
\r
Characteristic decomposition: From regular sets to normal sets Chenqi Mou and Dongming Wang, Journal of Systems Science and Complexity, 2019, 32(1): 37-46\r
\r
Sparse FGLM algorithms Jean-Charles Faugère and Chenqi Mou, Journal of Symbolic Computation, 2017, 80(3): 538-569\r
\r
Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods Wei Niu, Jian Shi, and Chenqi Mou, Applied Mathematics and Computation, 2016, 273: 934-947\r
\r
Applying triangular set method to detecting steady states and their numbers for finite biological model (in Chinese) Chenqi Mou and Wei Niu, Computer Applications and Software, 2014, 31(1): 278-282\r
\r
Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case [Chenqi Mou, Dongming Wang, and Xiaoliang Li, Theoretical Computer Science, 2013, 468: 102-113\r
\r
Design of termination criterion of BMS algorithm for lexicographical ordering (in Chinese) Chenqi Mou, Journal of Computer Applications, 2012, 32(11): 2977-2980\r
\r
Stability analysis for discrete biological models using algebraic methods Xiaoliang Li, Chenqi Mou, Wei Niu, and Dongming Wang, Mathematics in Computer Science, 2011, 5: 247-262\r
\r
Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case Xiaoliang Li, Chenqi Mou, and Dongming Wang, Computers & Mathematics with Applications, 2010, 60: 2983-2997\r
\r
Conference Papers\r
\r
Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition Mingyu Dong and Chenqi Mou, CASC 2022, Gebze, Turkey, 2022\r
\r
Algorithms for testing membership in univariate quadratic modules over the reals Weifeng Shang, Chenqi Mou, and Deepak Kapur, ISSAC 2022, Lille, France, 2022\r
\r
Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition Wenwen Ju and Chenqi Mou, AlCoB 2020 & 2021, Missoula, Montana, USA, 2021\r
\r
Comprehensive characteristic decomposition of parametric polynomial systems Rina Dong, Dong Lu, Chenqi Mou and Dongming Wang, ISSAC 2021, Saint Peterburg, Russia, 2021\r
\r
Game-theoretic analysis on CBDC adoption Chenqi Mou, Wei-Tek Tsai, Xiaofang Jiang, and Dong Yang, FICC 2020, Qingdao, China, 2020\r
\r
On the chordality of ordinary differential triangular decomposition in top-down style Chenqi Mou, ISSAC 2020, Kalamata, Greece, Jul. 2020\r
\r
On the chordality of simple decomposition in top-down style Chenqi Mou and Jiahua Lai, MACIS 2019, Gebze-Istanbul, Turkey, Nov. 2019\r
\r
On Berlekamp–Massey and Berlekamp–Massey–Sakata algorithms Chenqi Mou and Xiaolin Fan, CASC 2019, Moscow, Russia, Aug. 2019\r
\r
On characteristic decomposition and quasi-characteristic decomposition Rina Dong and Chenqi Mou, CASC 2019, Moscow, Russia, Aug. 2019\r
\r
Game-theoretic analysis on the number of participants in the software crowdsourcing contest Pengcheng Peng, Chenqi Mou, and Wei-Tek Tsai, AISC 2018, Suzhou, China, Sep. 2018\r
\r
On the chordality of polynomial sets in triangular decomposition in top-down style Chenqi Mou and Yang Bai, ISSAC 2018, New York, USA, July, 2018\r
\r
Symbolic detection of steady states of autonomous differential biological systems by transformation into block triangular form Chenqi Mou, AlCoB 2018, Hongkong, China, June. 2018\r
\r
Decomposing polynomial sets simultaneously into Gr?bner bases and normal triangular sets Rina Dong and Chenqi Mou, CASC 2017, Beijing, China, Sep. 2017\r
\r
Reconstructing chemical reaction networks by solving Boolean polynomial systems Chenqi Mou and Wei Niu, MACIS 2013, Naning, China, Dec. 2013\r
\r
Fast algorithm for change of ordering of zero-dimensional Gr?bner bases with sparse multiplication matrices Jean-Charles Faugère and Chenqi Mou, ISSAC 2011, San Jose, USA, Jun. 2011\r
\r
Stability analysis for discrete biological models using algebraic methods Xiaoliang Li, Chenqi Mou, Wei Niu, and Dongming Wang, MACIS 2009, Fukuoka, Japan, Dec. 2009\r
\r
Mathematics Popularization\r
\r
World of Mathematics [Purchase] Chinese Translation of \
中国数学会计算机数学专业委员会委员