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

• 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

• November 5, 2026, MSU

• August 16-21 2026: Recent Breakthroughs and New Perspectives on the Interplay between Fluid Mechanics and Kinetic Theory, Banff, AB, Canada

Feature image: Sunset outside the SFU Math department