牟晨琪 - 北京航空航天大学

个人简介

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

近期论文

查看导师最新文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

Books 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 Journal Papers 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 Chordal graphs in triangular decomposition in top-down style Chenqi Mou, Yang Bai, and Jiahua Lai, Journal of Symbolic Computation, 2021, 102: 108–131 Characteristic decomposition of polynomial sets (in Chinese) Dongming Wang, Chenqi Mou, and Rina Dong, SCIENTIA SINICA Mathematica, 2021, 51(1): 67–86 Decomposition of polynomial sets into characteristic pairs Dongming Wang, Rina Dong, and Chenqi Mou, Mathematics of Computation, 2020, 89: 1993-2015 Characteristic decomposition: From regular sets to normal sets Chenqi Mou and Dongming Wang, Journal of Systems Science and Complexity, 2019, 32(1): 37-46 Sparse FGLM algorithms Jean-Charles Faugère and Chenqi Mou, Journal of Symbolic Computation, 2017, 80(3): 538-569 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 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 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 Design of termination criterion of BMS algorithm for lexicographical ordering (in Chinese) Chenqi Mou, Journal of Computer Applications, 2012, 32(11): 2977-2980 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 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 Conference Papers Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition Mingyu Dong and Chenqi Mou, CASC 2022, Gebze, Turkey, 2022 Algorithms for testing membership in univariate quadratic modules over the reals Weifeng Shang, Chenqi Mou, and Deepak Kapur, ISSAC 2022, Lille, France, 2022 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 Comprehensive characteristic decomposition of parametric polynomial systems Rina Dong, Dong Lu, Chenqi Mou and Dongming Wang, ISSAC 2021, Saint Peterburg, Russia, 2021 Game-theoretic analysis on CBDC adoption Chenqi Mou, Wei-Tek Tsai, Xiaofang Jiang, and Dong Yang, FICC 2020, Qingdao, China, 2020 On the chordality of ordinary differential triangular decomposition in top-down style Chenqi Mou, ISSAC 2020, Kalamata, Greece, Jul. 2020 On the chordality of simple decomposition in top-down style Chenqi Mou and Jiahua Lai, MACIS 2019, Gebze-Istanbul, Turkey, Nov. 2019 On Berlekamp–Massey and Berlekamp–Massey–Sakata algorithms Chenqi Mou and Xiaolin Fan, CASC 2019, Moscow, Russia, Aug. 2019 On characteristic decomposition and quasi-characteristic decomposition Rina Dong and Chenqi Mou, CASC 2019, Moscow, Russia, Aug. 2019 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 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 Symbolic detection of steady states of autonomous differential biological systems by transformation into block triangular form Chenqi Mou, AlCoB 2018, Hongkong, China, June. 2018 Decomposing polynomial sets simultaneously into Gr?bner bases and normal triangular sets Rina Dong and Chenqi Mou, CASC 2017, Beijing, China, Sep. 2017 Reconstructing chemical reaction networks by solving Boolean polynomial systems Chenqi Mou and Wei Niu, MACIS 2013, Naning, China, Dec. 2013 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 Stability analysis for discrete biological models using algebraic methods Xiaoliang Li, Chenqi Mou, Wei Niu, and Dongming Wang, MACIS 2009, Fukuoka, Japan, Dec. 2009 Mathematics Popularization World of Mathematics [Purchase] Chinese Translation of "Cracking Mathematics" by Colin Beveridge, Electronic Industry Press, Beijing, 2019 Crazy STEM: Mathematics (two volumes) [Purchase] Chinese Translation of "Key Concepts in STEM", Electronic Industry Press, Beijing, 2022

学术兼职

学术任职中国数学会计算机数学专业委员会委员学术活动国内会议CM 2017程序委员会成员, 中国湘潭, 2017 国内会议CM 2016程序委员会成员, 中国深圳, 2016 国际会议ICMS 2016程序委员会成员, 德国柏林, 2016 国际会议MACIS 2015程序委员会成员, 德国柏林, 2015 第四期符号计算暑期讲习班SSSC2015组织委员会主席, 中国北京, 2015 国际会议MACIS 2013联合宣传主席, 中国南宁, 2013 国际研讨会Workshop in Logic, Algebra and Computation联合组织人, 中国北京, 2013 国际会议SCC 2008本地组织者, 中国北京, 2008