Hash function

Methods of solving algebraic polynomial systems

Groebner bases

Symbolic computation

Computer vision

2005-09--2010-06   Academy of Mathematics and Systems Science, Doctor
2001-09--2005-07   University of Science & Technology Beijing, Bachelor

   

2013-10~now, Institute of Information Engineering, Associate professor
2012-03~2013-09, Institute of Information Engineering, Assistant professor
2010-06~2012-03, Academy of Mathematics and Systems Science, Post-Doctor fellow

   

（1） Preimage Attacks on Round-reduced Keccak-224/256 via an Allocating Approach, Eurocrypt, 2019, corresponding author.
（2） Speeding Up the GVW Algorithm via a Substituting Method, Journal of Systems Science and Complexity, 2019, corresponding author.
（3） Preimage Attacks on the Round-reduced Keccak with Cross-linear Structures, International Conference on Fast Software Encryption, 2018, corresponding author.
（4） The Lightest 4x4 MDS Matrices over GL(4; F2), SCIENCE CHINA Information Sciences, 2018, corresponding author.
（5） Cross-domain Human Parsing via Adversarial Feature and Label Adaptation, AAAI Conference on Artificial Intelligence, 2018, corresponding author.
（6） Composing Semantic Collage for Image Retargeting, IEEE Transactions on Image Processing, 2018, corresponding author.
（7） A weakly supervised method for makeup-invariant face verification, Pattern Recognition, 2017.
（8） Learning Adaptive Receptive Fields for Deep Image Parsing Network, Computer Vision and Pattern Recognition, 2017, corresponding author.
（9） Surveillance Video Parsing with Single Frame Supervision, Computer Vision and Pattern Recognition, 2017, corresponding author.
（10） Face Aging with Contextual Generative Adversarial Nets, ACM MULTIMEDIA, 2017, corresponding author.
（11） An improvement over the GVW algorithm for inhomogeneous polynomial systems, Finite Fields and Their Applications, 2016.
（12） On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra, Journal of Systems Science and Complexity, 2016.
（13） An efficient algorithm for factoring polynomials over algebraic extension field, Science in China, Series A: Mathematics, 2013.
（14） A new proof for the correctness of F5 algorithm, Science in China, Series A: Mathematics, 2013.
（15） An efficient method for computing comprehensive Grobner system of a parametric polynomial system, Journal of Symbolic Computation, 2013, corresponding author.
（16） An efficient method for computing comprehensive Grobner bases, Journal of Symbolic Computation, 2013, corresponding author.
（17） Computing polynomial univariate representations of zero-dimensional ideals by Grobner basis, Science in China, Series A: Mathematics, 2012, corresponding author.
（18） The F5 algorithm in Buchberger style, J Syst Sci Complex, 2011.

Ting Li, Ph. D, research direction: Cryptography, Groebner basis algorithms, Hash functions.

Zhen Wei,  postgraduate, research direction: Image processing, Face parsing.

Runhe Yang, Ph. D, research direction: Image processing, proving thoerems automatically.

Xiaofan Cai, postgraduate, research direction: Reinforcement Learning.

Kai Wang,  postgraduate, research direction: Image processing.

Ning Zhang,  postgraduate, research direction: Image processing.