Chenqi Mou

Assistant Professor

School of Mathematics and Systems Science

Beihang University, China

  • Office 510, West Wing of Library
  • School of Mathematics and Systems Science
  • Beihang University, Beijing 100191, China
  • Official Email: chenqi.mou [at] buaa.edu.cn
  • Personal Email: chenqi.mou [at] gmail.com (PGP)
  • Beihang Homepage (in Chinese)

Introduction

I am currently an Assistant Professor at School of Mathematics and Systems Science, Beihang University, China. The research field of my interest is Symbolic Computation. More precisely, I mainly work on polynomial systems solving with algebraic tools like triangular sets and Gröbner bases, and its applications in problems from Cryptography, Coding Theory and Biology, etc.

You can find my CV here.

Education

Academic Activities

Member of Program Committee

+ ICMS 2016, Berlin, Germany, July 2016

+ MACIS 2015, Berlin, Germany, Nov. 2015

Chair of Organization Committee

SSSC 2015, Beijing, China, Aug. 2015

Publicity Co-chair

MACIS 2013, Nanning, China, Dec. 2013

Co-organizer

Workshop in Logic, Algebra and Computation, Beijing, China, Dec. 2013

Member of Local Arrangements

+ MACIS 2011, Beijing, China, Oct. 2011
+ SCC 2008, Beijing, China, Apr. 2008

Academic visits

+ LIP6, Université Pierre et Marie Curie, Paris, France, Nov. 2014
+ Inria Nancy Grand-Est, Nancy, France, Nov. 2015

Grants Awarded

Triangular Decomposition Methods for Structured Polynomial Systems

National Natural Science Foundation of China for Young Scientists
Jan. 2015 – Dec. 2017

Efficient Symbolic Computation Algorithms for Solving Sparse Polynomial Systems

Basic Scientific Funding for Central Universities in China
Mar. 2014 – Dec. 2014

Selected Talks

Epsilon 1: A Software Library for Triangular Decomposition

The 5th International Congress on Mathematical Software
Berlin, Germany, July. 2016

Triangular sets over F2 VS satisfiability checking: a potential connection and interaction?

Dagstuhl Seminar 15471: Symbolic Computation and Satisfiability Checking
Schloss Dagstuhl, Germany, Nov. 2015

Simple Triangular Decomposition over Finite Fields

ICIAM 2015 (Minisymposia: Triangular decomposition of polynomial systems: solvers and applications)
Beijing, China, Aug. 2015

Sparse FGLM Algorithms for Solving Polynomial Systems

CDZ Sino-German Workshop on Computation and Reasoning with Constraints
Beijing, China, Nov. 2014

Reconstructing Chemical Reaction Networks by Solving Boolean Polynomial Systems

MACIS 2013, Nanning, China, Dec. 2013

Simple Triangular Sets: from Q to Fq

Seminar on Symbolic Computations, Beijing, China, May 2012

Fast Algorithm for Change of Ordering of Zero-dimensional Gröbner Bases with Sparse Multiplication Matrices

+ International Workshop on Certified and Reliable Computation, Nanning, China, Jul. 2011
+ ISSAC 2011, San Jose, USA, Jun. 2011

Publications

Find me in Google Scholar or DBLP Bibliography

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 FGLM algorithms
Jean-Charles Faugère and Chenqi Mou

Journal of Symbolic Computation, to appear

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, 2015, 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

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

Last Update: August 2016