中文    English   

　　From June 30 to July 3, 2026, Professor Xu Yang from the University of California, Santa Barbara, was invited to give an in-person short course. The title is "Asymptotic Analysis and AI-Assisted Formalization". For more information, see the poster.

　　Xu Yang is a Professor in the Department of Mathematics at the University of California, Santa Barbara. His research focuses on applied analysis and numerical computation, with interests spanning semiclassical analysis, wave propagation, high-frequency computation, seismic imaging, quantum dynamics, and mathematical modeling in materials science. He was a postdoctoral researcher at Princeton University and the Courant Institute of Mathematical Sciences at New York University. His research includes the Frozen Gaussian method, photonic graphene, Schrödinger equations with random perturbations, and multiscale modeling of quantum systems.

Center for Applied Mathematics, Tianjin University, No.92 Weijin Road, Tianjin 300072, P. R. China