近日，在复旦大学相辉研究院举办的一场跨学科交流会上，来自不同领域的学者们汇聚一堂，对前沿成果进行了分享。
席间，一位专注聆听的外籍学者引起了人们的注意。
他是威尔·约翰逊（Will Johnson），复旦大学相辉青年学者数学科学学院、哲学学院联合聘任教授，模型论（Model Theory）领域顶尖专家。
今年七月，他将登上2026国际数学家大会（International Congress of Mathematicians，ICM），发表45分钟邀请报告。
作为数学界的顶级盛会，国际数学家大会由国际数学联盟（IMU）主办，每四年举办一次，来自世界各地的顶尖数学家将在此报告前沿成果，菲尔兹奖等重磅数学奖项亦在此揭晓。
是怎样的学术经历，让约翰逊站上ICM的舞台？从伯克利到复旦，他又有着怎样的故事？
发现兴趣所在
约翰逊的数学之路，有着一个令人意想不到的开始。
曾梦想成为工程师的他，高中毕业后考入美国华盛顿大学计算机系。大三时，他因突出的数学成绩被推荐参加了北美地区最负盛名的本科生数学竞赛——普特南数学竞赛（William Lowell Putnam Mathematical Competition），并以前五名的成绩获得“普特南学者”（Putnam Fellow）。
“这次经历让我意识到，应该把数学作为第二专业，并在研究生阶段更深入地学习它。”大四时，约翰逊选择了数学作为自己的第二专业，“普特南学者”这一荣誉，也成为他进入加州大学伯克利分校（以下简称：伯克利）数学系深造的敲门砖。
在伯克利，约翰逊接触了不同的数学研究方向。起初，他选择了一个很感兴趣的问题，钻研两年却毫无进展。直到一场讨论班，改变了他的学术轨迹。
“我当时去了一个关于模型论的讨论班，在那里学到了很多东西。”这个借助数理逻辑工具探究代数与组合结构的数学分支，以其严谨缜密的逻辑之美吸引了他。
他的博士论文“Fun with Fields”探索了“域”相关的有趣问题，不仅证明了每个不稳定的dp-极小域都可以从纯组合假设出发构造出完全典范的非平凡Hausdorff可定义域拓扑，为模型论研究提供了罕见案例，也对dp-极小的纯域和赋值域进行了分类，证明了每个VC-极小域要么是实闭域要么是代数闭域。
这篇逻辑严谨且富有创新性的论文，还获得了数理逻辑领域博士论文最高奖项——美国符号逻辑学会萨克斯奖（Sacks Prize）。
博士毕业后，约翰逊曾在美国一家知名游戏公司，担任过两年的软件工程师。两年的工作经历让他发现，相比编程，自己还是更热爱数学。
做有意思的研究
2018年，约翰逊因家庭及职业规划等原因，跨越太平洋来到中国，在复旦大学数学科学学院开始了为期两年的博士后研究。其间，完成了一系列关于dp-极小域拓扑结构的突破性工作。
博士后出站后，他加入复旦大学哲学学院郝兆宽教授带领的数理逻辑教学科研团队。“我认为这个团队非常友善，也很互助。”团队严谨的学术风格与交叉融合的学科优势，为他开展研究提供了良好氛围。在这里，他既独立深耕模型论，也与团队成员、哲学学院教授姚宁远携手合作，产出多项成果。
“和谐的科研团队、包容的评价机制、密集的国际网络、多元的锻炼平台是学校、学院在青年教师培养中共同给予的重要支撑。”复旦大学哲学学院院长张双利说。
为了让优秀人才安心做学问，2025年，复旦大学相辉研究院充分发挥“人才特区”的制度优势，聘任约翰逊为相辉青年学者，同时为其量身定制了联合聘任机制：由数学科学学院聘请他担任教授，同时由哲学学院聘请他担任兼职教授。更贴心的是，在相辉研究院和院系的共同推动下，学校还为他配齐了团队建设、学生培养、长周期支持等一整套“成长大礼包”。宽松的学术环境，让这位数学家得以心无旁骛，一头扎进数学的世界里。
“约翰逊的研究填补了我们在模型论领域的空白，他的加入也有助于提升复旦数学在国际上的显示度。”中国科学院院士、复旦大学数学科学学院院长沈维孝说。
约翰逊的研究，透露着一种“乐在其中”的纯粹，这一点从他的博士论文标题“Fun with Fields”中可见一斑。
“我一开始并不是想求证这些新结果，只是想搞懂自己注意到的规律，或者理解一些听起来很有趣的新对象。”他坦言，博士论文中一些重要结论，其实是研究过程中的意外发现。
在他看来，数学中最难的问题，从来不是直接攻克的，而是在做其他工作的时候，碰巧得到了一个答案。“不要一上来就试图解决那些又大又难的问题，可以找一些有意思、做的人不多的方向去研究。”去想一些有趣的问题，然后去钻研，直到“妙手偶得之”，似乎也正是他的数学哲学。
近年来，约翰逊始终专注于模型论研究，深耕“依存域与环”“域算术与étale-open拓扑”“驯拓扑与可定义群”三个方向，并围绕相关内容在国际刊物发表多篇论文，这些成果也为他走上国际数学家大会的舞台铺就了道路。
基础研究领域的投入往往难以在短期内显现应用价值，约翰逊亦不例外。尽管他也期待自己的工作能够拓展至数学的其他领域，但目前尚未真正实现。不过，在他看来，构建工具比解决某些问题更令人兴奋，“这个领域本身是有趣的，即使没有应用到数学的其他分支。”这种纯粹与执着，也成为他源源不断的驱动力。
“他总会想尽办法让我们学懂”
在复旦，约翰逊长期开设“Introduction to Model Theory（模型论导论）”“Advanced Model Theory（高级模型论）”等本研课程，培养了一批有志于模型论研究的学生。
本学期，约翰逊开设了“模型论进阶”（Advanced Model Theory）课
这位平日低调话不多的学者，课上谈起数学时，仿佛打开了话匣子。思路流畅、环环相扣的逻辑证明让台下学生听得入神。PPT梳理教学主线之外，他习惯以手写板书展开详细推导，便于学生跟上思维节奏。
“Will既能引导我们对抽象概念进行直觉上的理解，也能带领我们将这些理解严谨地形式化。”哲学学院2024级研究生张陆路认为，约翰逊的课程既能围绕主线又不会困于细节，“他对学生很有耐心，总是会想尽办法让我们学懂。”
在约翰逊的启发与指导下，哲学学院2025届硕士校友杨阳踏上了自己的数学研究之路。在兴趣的驱动下，这位非数学专业出身的学子，毕业后选择前往卡基梅隆大学攻读数学博士。
硕士期间，他在约翰逊的指导下快速入门了模型论，并围绕NIP域上的可定义拓扑开展了研究，其硕士论文则建立在约翰逊关于dp-有限域与Shelah猜想的相关工作上。“面对我们的提问，他总是会给出详尽的答复并提供有用的参考材料，有时甚至会整理成一份包含完整证明的文档发给我们。”
数学研究，在约翰逊看来，与其他学科很不一样。自身的经历让他体会到，参加各类研讨班对研究大有裨益。“我会鼓励学生多参加讲座和研讨会，去图书馆翻翻书，找那些看起来有意思的读一读，然后从中发现自己真正感兴趣的。”
从数学竞赛领奖台到ICM报告人，变的是舞台，不变的是那个在研讨班里眼睛发亮的年轻人。对于约翰逊而言，数学的乐趣，他仍在寻找，仍在分享，仍在黑板上，一笔一画地，传递给更多人。
