冯心妍

西南交通大学研究生在读

专业：交通运输工程
导师：王恪铭 系统可信性自动验证国家地方联合工程实验室
研究方向：形式化验证

Ability

• 具有轨道交通信号专业的学习背景
• 掌握C，C++和B方法建模语言，熟练使用Visual Studio、Clion、Rodin、Atelier-B开发工具
• 了解数据结构与计算机组成原理
• 熟练使用VU4测试工具

Experience

《基于Event-B方法的新型道口控制系统建模与测试》	毕业设计	2020.02 - 2020.05
通号粤港澳（广州）交通科技有限公司实习	研发部	2020.06 - 2020.08
北京和利时集团实习	国铁产品部-白盒测试	2021.06 - 2021.08

Education

• 2016.9 - 2020.6 西南交通大学 信息科学与技术学院 网络工程专业
• 2020.9 - 至今 西南交通大学 信息科学与技术学院 交通运输工程