On December 12th, 2013, Professor Deepak Kapur, a distinguished professor in the Computer Science Department at the University of New Mexico, was invited by Vice President Liu Zhong to give an academic presentation at our college.

Secretary of the Party Committee Jie Lu welcomed Professor Deepak Kapur and briefly exchanged views with him on the development of higher education in the United States.

Vice President Liu Zhong presided over the presentation. Professor Deepak Kapur delivered an academic report titled “Multivariate Resultants based on Cayley-Dixon’s Method.” Teachers from the Department of Basic and Public Courses, Department of Electronic Information Engineering, Department of Mechanical and Electrical Engineering, and the Computer Department of Leshan Normal University attended the presentation and engaged in discussions with Professor Deepak Kapur.

Professor Deepak Kapur is currently a distinguished professor in the Computer Science Department at the University of New Mexico. Supported by the Chinese Academy of Sciences' “Distinguished Visiting Professor” program, he is visiting the Institute of Software at the Chinese Academy of Sciences for nine months. His research areas include automated reasoning, symbolic computation, and formal methods. He has long served on the editorial boards of mainstream international journals in related fields, such as the Journal of Symbolic Computation and the Journal of Automated Reasoning (serving as the editor-in-chief of the Journal of Automated Reasoning from 1993 to 2007). He has also received the Herbrand Award, the highest honor in the field of automated reasoning.