张丁荣

E-mail： 2567576080@qq.com

专业：交通信息工程及控制

导师：王恪铭(Wang KeMing)

研究方向：形式化方法(Formal Method)

Ability

掌握编程语言c、c#及形式化方法B语言等

熟练使用Atlier B、Rodin、Simulink、Visual Studio等工具

Experience

[1] 2016.9 - 2020.6 西南交通大学 信息科学与技术学院 网络工程专业

[2] 2020.9 - 至今 西南交通大学 信息科学与技术学院 交通信息工程及控制专业

Award

2020-2021学年获得三等奖学金

2019-2020学年获得一等奖学金

2018-2019学年全国大学生交通科技大赛校赛三等奖

2018-2019学年参与大学生创新创业训练计划(SRTP)并通过验收

2017-2018学年数学建模新秀杯优胜奖

2017-2018学年获得三等奖学金

2016-2017学年第二学期获得三等奖学金

2016-2017学年第一学期获得二等奖学金

2017-2018学年获得优秀学生干部荣誉称号

2016-2017学年获得优秀学生干部荣誉称号