About Me
王梓(Wang Zi):西南交通大学的一名在读研究生🐶
专业：交通信息工程及控制
研究方向：形式化方法(Formal Method)
Ability
掌握编程语言c、c#、python及形式化方法B语言等
熟练使用Atlier B、SCADE、Rodin、Simulink、Visual Studio等工具
Experience
[1] 2016.9 - 2020.6 西南交通大学 信息科学与技术学院 网络工程专业
[2] 2020.9 - 至今 西南交通大学 信息科学与技术学院 交通信息工程及控制专业
Award
| 时间 | 荣誉 |
|---|---|
| 2017 | 西南交通大学综合奖学金二等奖 |
| 2018 | 西南交通大学校级三好学生 |
| 2018 | 西南交通大学综合奖学金二等奖 |
| 2019 | 蓝桥杯第十届全国单片机设计与开发大学组四川赛区一等奖 |
| 2019 | 西南交通大学第八届单片机应用大赛二等奖 |
| 2019 | 西南交通大学综合奖学金二等奖 |
| 2019 | 西南交通大学校级三好学生 |
| 2020 | 西南交通大学优秀毕业设计 |
| 2020 | 西南交通大学综合奖学金一等奖 |
To a great mind, nothing is little