Speakers

Prof. Ke Tang

IEEE Fellow, Southern University of Science and Technology, China

Bio: Tang Ke, Professor of Computer Science and Engineering Department of Southern University of Science and Technology, special Professor of Ministry of Education, "National High-level Talent Special Support Program" young top talent. His main research areas are the general principles and algorithms of artificial intelligence (such as evolutionary computing, reinforcement learning, machine learning, etc.), as well as the cross-research between artificial intelligence and design, finance, logistics and other fields. His research achievements have won the first prize and second prize of the Ministry of Education and the first prize of Natural Science of the Chinese Society of Electronics. He is a Newton Advanced Fellow of the Royal Society and a recipient of the IEEE Computational Intelligence Society Outstanding Early Career Award. He is also deputy director of Guangdong Provincial Key Laboratory of Brain-like Intelligent Computing and deputy Director of Shenzhen Sfakis Trusted Autonomous System Research Institute.

Prof. Xianguang Kong

Xidian University, China

Bio: Xianguang Kong received the Ph.D. degree in mechanical engineering from Northwestern Polytechnical University, Xi’an, China, in 2005.,In 2014, he was a Visiting Scholar with the Department of Engineering Mechanical, University of Cincinnati, Cincinnati, OH, USA. He is a Professor with the Mechanical and Electrical Engineering, Xidian University, Xi’an. His research interests include Industrial Internet, industrial artificial intelligence, federated learning, and privacy and security protection.

Researcher Shaowei Cai

Institute of Software Chinese Academy of Sciences, China

Bio: CAI Shaowei, PhD supervisor and researcher of Institute of Software, Chinese Academy of Sciences, was supported by National Natural Science Foundation of China. Research on constraint solving and EDA form verification. Designed an efficient SAT hybrid solution method, solved the seventh challenge problem of AAAI 1997 Propositional Logic Reasoning and Search ten challenges for the first time, and won the SAT 2021 Best paper award. The first SMT random search algorithm supporting integer arithmetic theory is designed. The solver developed by the team won more than 20 championships in SAT competition and SMT competition.