王恪铭(Wang KeMing)，工学博士，籍贯：江西鄱阳。副教授
中国系统工程学会会员，英国安全苛求系统协会(The Safety-Critical Systems Club)会员，中国计算机协会CCF会员。
科研概况：目前(2021.9)已发表各大检索论文30余篇，参与出版学术专著作1部，获省级科研二等奖励1次(2017)，主持了国家自然科学基金青年基金、中国博士后科学基金、四川省自然科学基金等项目。
学术服务
Reviewer -- Applied Mathematical Modelling, Journal of Grid Computing, Transportation Research Part E: Logistic and Transportation Review, Science of Computer Programming, IET Intelligent Transport Systems 及FLINS, TASE等国际会议。
Program Committees -- TASE2019, TASE2020
教学服务：已指导多个本科生团队获得学科大赛全国决赛奖项，曾担任班导师的班级荣获学校“忠忱”班荣誉称号；指导(含联合)研究生多人次获国家奖学金、企业奖学金、优秀学位论文及其他各类荣誉称号。
主要工作经历：
曾任职于南昌铁路局，并曾在劳氏铁路亚洲(英华京伦)交通技术公司、上海富欣智能交通控制有限公司等单位 进行短期学习与工作。
Ø 2013.9-今，西南交通大学 信息科学与技术学院 铁道信息工程系，2015.5受聘为硕士研究生导师。2021.3 计算机与人工智能学院成立，转入该院软件工程系。
Ø 其中于2016.10-2018.10，赴英国南安普顿大学 电子与计算机科学系(ECS, Southampton of University) 进行两年期的博士后研究工作。
目前研究生招收学科:
计算机科学与技术、软件工程、电子信息 等
学术主页: Google Scholar Researchgate
[1]形式化方法、模型检验
[2]智能交通
[3]安全苛求系统的形式化开发
系统可信性自动验证国家地方联合工程实验室是国家发改委于2016年批准建设的国家级联合创新平台。依托西南交通大学数学学院、计算机与人工智能学院、信息科学与技术学院、电气工程学院等合作单位的科研技术力量，实验室积极开展国际科研合作，努力开展与国内知名企业及科研平台开展科研协作与协同创新，努力建设成为国家系统可信性自动验证技术研发与成果转化基地、国际国内交流与合作平台和人才培养基地。
https://kxxyz.swjtu.edu.cn/
-- 团队介绍及研究生招生情况，详见右上角链接 Cooperation team
报考该导师研究生的方式欢迎你报考王恪铭老师的研究生，报考有以下方式：
1、参加西南交通大学暑期夏令营活动，提交导师意向时，选择王恪铭老师，你的所有申请信息将发送给王恪铭老师，老师看到后将和你取得联系，点击此处参加夏令营活动
2、如果你能获得所在学校的推免生资格，欢迎通过推免方式申请王恪铭老师研究生，可以通过系统的推免生预报名系统提交申请，并选择意向导师为王恪铭老师，老师看到信息后将和你取得联系，点击此处推免生预报名
3、参加全国硕士研究生统一招生考试报考王恪铭老师招收的专业和方向，进入复试后提交导师意向时选择王恪铭老师。
4、如果你有兴趣攻读王恪铭老师博士研究生，可以通过申请考核或者统一招考等方式报考该导师博士研究生。
