你好，我是 To1in。
上海科技大学 2024 级计算机硕士生，目前在陈浩贤老师课题组学习与研究。
我的研究关注形式化方法如何帮助检测和修复区块链程序中的漏洞，也在持续学习程序验证、自动综合与系统方向的工作。
在进入研究生活之前，我参与过 CTF 竞赛，主要接触密码学方向。这里既保存技术学习的路径，也记录旅行、音乐和生活里的偶然发现。
Research interests
现在关注的方向
- 01形式化方法
程序验证、自动综合，以及可检查的正确性保证。
- 02区块链安全
智能合约漏洞的检测、定位与修复。
- 03密码学与 CTF
从竞赛题解与算法学习积累下来的长期兴趣。
Background
来时的路
前 X1cT34m 20 级队员、前 SU 战队队员、前天命战队队员。
博客从 WordPress 迁移而来，保留了从本科密码学学习、CTF 题解到如今研究工作的完整轨迹。