Dr. Pascal Lefèvre is an Assistant Professor in the School of AI and Advanced Computing. He received a Master's Degree in Cryptography and Computer Security from Bordeaux University, France, and then his Ph.D. from Poitiers University and XLIM Laboratory, France. He joined Shenzhen University as a Post-Doctoral researcher and later, worked in AI and Computer Vision in the tech industry. His past research involved multiple fields such as Cryptography, Error-Correcting Codes, Signal and Image Processing, Multimedia Security, and Artificial Intelligence. He actively works on Neural Network Compression and the applications of AI for Mathematics.

Research Development Funding: "Research on a new paradigm for neural network compression". Funding: 100,000 RMB.

Funded External Research Grant for Industry Applications: "Fast-AI: Neural Network Compression Methods". Funding amount: 2,630,000 RMB.

Open PhD position: Seeking a serious, highly motivated PhD student to tackle cutting-edge challenges in Neural Network Compression. Your work will directly shape the development of efficient AI for real-world systems. Requires strong foundations in deep learning and relentless drive. Please send your full resume to Pascal.Lefevre@xjtlu.edu.cn.

Neural Network Compression

Linear Algebra / Arithmetic

Automated Theorem Proving / Lean 4 / AI for Mathematics

Computer Vision / Machine Learning / Deep Learning

Multimedia Security / Error-Correcting Codes / Cryptography

Assistant Professor, School of AI and Advanced Computing, Xi’an Jiaotong-Liverpool University, 2023 - now

AI R&D, Shenzhen Tech Industry, 2021 - 2023

Post-Doctoral Researcher, Shenzhen University, 2019 - 2021

Signal and Image Processing

Mathematics for AI and Data Science

Design of Algorithms and Analysis

Best student paper award, CORESA 2017, France

Best oral presentation, ICIVC 2025, Chengdu, China