个人信息

姓名：陈顺

学历：研究生在读

导师：王恪铭

专业：计算机技术

学校：西南交通大学

邮箱：schen1998@foxmail.com

研究方向

●形式化验证（Formal Method）

掌握技能

●编程语言C、C++、Python等

●熟练使用Visual Studio等工具