New Members – Academic Year 2025-2026
We are pleased to welcome the following new members to the unit:
Te-Chun Wang (August 2025), Postdoctoral Researcher
Sotirios Kotitsas (October 2025), Postdoctoral Researcher
Kihoon Seong (January 2026), Postdoctoral Researcher
Johann Williams (September 2025), PhD student
We are delighted to have them join the team and look forward to their contributions.
Welcome to Miehling Timon
We are pleased to welcome Timon as a joint PhD student.
He will be co-supervised by Professor Joachim Krieger and Professor Xue-Mei Li.
Szymon Sobczak
Szymon Sobczak is a PhD student under the supervision of Prof. Li since September 2024.
His interests lie in multiscale stochastic systems, driven by (potentially rough) noise, with a particular interest in models coming from fluid dynamics.
For more details, check out his google scholar page https://scholar.google.com/citations?user=dyjaP8kAAAAJ&hl=pl.
Daniel Goodair
Daniel joined our unit in August 2024 – check out Daniel’s google scholar page
Kexing (Jason) Ying
Kexing is a PhD student who joined our unit in September 2023. Kexing had previously studied at the University of Cambridge and graduated from Imperial College London (Ken Allen Prize, Dean’s List) after completing high school at Porsgrunn videregående skole in Norway. During his undergraduate studies, Kexing participated in the Lean project and formalized the Martingale Convergence Theorem. His work was mentioned in Kevin’s plenary ICM lecture about Lean and resulted in one publication.
A Formalization of Doob’s Martingale Convergence Theorems in mathlib, in Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs.
Kexing also contributed to the Group Theory Game Project.
Former STOAN Team Members
Xianfeng Ren (2025-2026), visiting PhD
Xianfeng used to be a PhD student at Imperial College London under the supervision of Professor Xue-Mei Li, and joined the STOAN unit as a visiting student in 2025-2026
- Publication: Local Well-Posedness for the Derivative Nonlinear Schrodinger Equations with L2 Subcritical Data, Discrete and Continuous Dynamical Systems, 2021, 41(9), Doi 10.3934/dcds.2021034
- Pre-U Higher Math: Calculus, Peking University Press,
- Pre-U Standard Math: Functions and Algebra, Peking University Press
Florian Huber (2023-2025), postdoctoral researcher
Toyomu Matsuda (2023-2024), postdoctoral researcher
Fabian Germ (March-June 2023), postdoctoral researcher