About me

I am a Professor in the Mathematics Department of the Simon Fraser University. My research area is PDE and applied analysis with the main focus on the kinetic theory. This includes the analysis of kinetic equations, inverse problems related to kinetic equations and related ones, as well as numerical analysis of kinetic equations.

I also enjoy working with researchers in other disciplines and providing mathematical tech support. Recently, I have become interested in AI-for-Math and have started working with computer scientists (the DeLTA Lab led by Professor Wuyang Chen at SFU) on LLMs for applied math.

News

• Just accepte (Sep 2026) :

  Crossover from ballistic transport to normal diffusion: a kinetic view

  Z. Xue*, W. Sun, Z. Zhou and M. Tang, Multiscale Model. Simul., accepted, 2026.

• Just accepted (June 2026) :

  The spectrum of the Steklov-Helmholtz operator

  N. Nigam, K. Patil* and W. Sun, accepted, SISC, 2026

• Our PDE Formalization Page Is Now Live!

  Check out the “Formalization” tab for details. We closely follow the textbook

  Partial Differential Equations: A First Course, R. Choksi, AMS, 2022.

  The Github page is at: https://github.com/weiran-sun/pde

• LEAN Finder

  Check out LEAN Finder, our search engine for semantic search for Mathlib that understands user intents.

• Just accepted (Jan 2026) :

  Lean Finder: Semantic Search for Mathlib That Understands User Intents

  Jialin Lu, Kye Emond, Kaiyu Yang, Swarat Chaudhuri, Weiran Sun, Wuyang Chen, accepted, ICLR, 2026. arXiv Link

• Just Submitted (Jan 2026) :

  Uniqueness for the Homogeneous Landau-Coulomb Equation in L^{3/2}

  M.P. Gualdani and W. Sun, submitted, 2026.

Upcoming trips

• December 7-8, 2026, SLMath, Berkeley, CA

• November 3-6, 2026, MSU, MI

Feature image: Sunset outside the SFU Math department