付博 | 上海交通大学

关于我

目前，我是上海交通大学 BASICS 实验室的一位博士研究生，师从傅育熙教授。

我的个人博客 Mologs 包含了个人发现的一些值得分享的有趣事物。

我的研究兴趣主要在理论计算机科学方向，同时也对理论物理、可解释 AI 和 AI 安全等问题保持兴趣。吸引我的是这些方向背后某种共同的思想：用简洁、结构化、可被人理解的方式，去描述复杂而高维的现象。

目前，我主要研究向量加法系统上的可达性以及相关验证问题。这类问题吸引我的地方在于，我们试图用有限的描述、算法和证明方法，去推理无限状态系统的行为；这也是理论计算机科学中理解和刻画复杂系统的一种重要方式。

待发表。