The Institute of Computing Theory and Advance Computational Technology is one of the key scientific research labs in School of Information Engineering at Zhengzhou University.

The predecessor of our lab was the Institute of Theoretical Computer Science. It was founded by well-known professor Su Jinxiang, a senior computer scientist, in the 1980s. On this basis, we have inherited, integrated, reorganized and established current research lab since 2015.

For a long time, we have cooperated with many scientific institute of brother universities in domestic and foreign countries. We encourage the organic combination of free exploration of basic theory and the orientation of high and new technology goals, and we are also aiming at several frontier future-oriented computing theory and technology research. Meantime, as a research institution of computer science in Henan province's only“double first class”university, we are also actively carrying out social services and committing our self to exchanges and cooperation in production, academic and research, in effort to contribute our knowledge and energy to the development of local technology and economy development.

The main research areas of our lab include but not limited to

1) formal language and automata theory

2) formal methods and model checking

3) network security and information security

4) mimic computing and mimic defense

5) DNA computing and bioinformatics

6) machine learning and data mining

7) computer network and the internet of things

8) e-Health and medical intelligence