杨晓玉，女，山东德州人，出生于2002年7月，现为计算机科学与技术专业24级在读学术硕士研究生。本科就读于山东第一医科大学医学信息工程专业。在2024年进入北京物资学院读研，并加入了物联网与区块链技术实验室，成为软件工程及可信验证组的一员。目前主要参与形式化验证技术的研究，同时参与多项课题，各方面能力正不断提升。本人科研热情高且具有团队意识，能和项目组紧密合作，希望在实验室中不断锻炼自己，实现自己的理想。寄语：未来的路很长，但只要一步一个脚印，就一定能到达理想的彼岸。相信自己，你比想象中更强大！座右铭：行胜于言，功成于行。