Hello！
这里是小肥鱼的鱼塘（bushi）
塘主是华东师范大学软件工程学院的在读研究生
本科为上海某211的信息安全专业，硕士阶段的主要研究方向是形式化验证，也想偶尔跳出鱼塘看看其它地方
这里将记录一位元气少女的学习和生活，不可以偷偷关注哦 o(////▽////)q
Hello！
这里是小肥鱼的鱼塘（bushi）
塘主是华东师范大学软件工程学院的在读研究生
本科为上海某211的信息安全专业，硕士阶段的主要研究方向是形式化验证，也想偶尔跳出鱼塘看看其它地方
这里将记录一位元气少女的学习和生活，不可以偷偷关注哦 o(////▽////)q
