赵玉成，男，汉族，山东省临沂市人，现为23级计算机科学与技术在读研究生。主要研究领域为智能合约形式化验证。本人有着持续学习的动力，乐于助人，具备良好的自主学习能力。在参与实验室的科研工作中，科研热情高且具有团队意识，能和项目组紧密合作，吃苦耐劳，不断钻研。感谢实验室老师的培养和付出，希望后续能够在科研工作中不忘初心、砥砺前行。座右铭：十年磨一剑，砺得梅花香。寄语：种一棵树最好的时间是十年前，其次是现在。