邹奕丹，女，河南南阳人，22级计算机软件与理论在读研究生。研究方向为区块链形式化验证。软件工程及可信验证组组员。希望能在这个温暖的大家庭中锻炼自己的处事能力以及实际操作和解决问题的能力。

座右铭：细节决定成败，选择决定人生。寄语：有志者事竟成！