§
致每一位读者
01 若您是希望了解我的老师或导师
我正积极寻求理论计算机科学领域的研究生机会——专注于逻辑学、类型论与计算基础。这里我写了自己的背景、研究动机，以及我希望从事的方向，也包括对实习和合作的期待。
阅读完整介绍 →02 若您是有意与我合作的研究者
我持续关注证明论、类型论与复杂性理论交汇处的若干开放问题。如果您正在研究相近方向，并希望寻找一位有热情的合作者，我很期待与您交流。
关于合作 →03 若您是希望与我交流的同行
我们或许正在思考同样的问题。我在博客中记录困扰我的难题、令我着迷的论文，以及学做研究的缓慢历程。欢迎坐下来聊聊。
我在做什么 →04 若您是希望寻求我帮助的人
我偶尔在逻辑、证明写作、类型论和数学方面提供帮助。如果您遇到了困难，认为我可能知道答案，或只是想要一个参考意见——欢迎联系我。
我能帮什么 →05 若您只是对我感到好奇
那么随便从哪里开始都好。博客是我大声思考的地方，随笔更慢、更深入，生活则是证明助手之外发生的一切。
从哪里开始 →