王睿瑶，女，汉族，于2005年9月出生于北京市，现为23级计算机科学与技术（实验班）在读本科生。主要研究领域为形式化验证。进入了大学，我计划努力学习专业知识，进而申请加入IBT实验室。我坚信可以为实验室贡献自己的一份力量，同时提高自己的科研与实践能力，学习更多知识与技术，成为一个能力与价值并存的人。座右铭：天行健，君子以自强不息。寄语：自我提升永无止境，愿在大学不断挖掘自我，实现自我价值。