Research Areas

1. Artificial Intelligence

2. Theories of Programming, Software Formal Methods

3. Cyber-Physical Systems, Agent Systems

4. Symbolic Computation, Automated Reasoning, and Program Verification

5. Image Reconstruction and Image Processing

6. Machine Learning

7. Machine Learning Theory and Applications

8. Blockchain, Cyberspace Security