王恪铭老师主持并参与国家级、企业课题多项，已发表各类检索论文20 多篇，指导研究生4 名(其中保研两名，两校区考入各一名，毕业学生已在行业最前列的研发公司工作)，协助指导硕、博学生多名。
每月提供给学生生活补助，参与项目或发表论文另外奖励。针对性制定个人学业计划，帮助联系实习，资助参加行业交流，大力协助学生尽快成长。
研究内容为信号控制系统的形式化建模与验证(研发公司需求热点)。课程学习结束后在九里校区可信性验证重点实验室工作。
招生对象: 保研或报考18 年考试的计算机类专业学生，勇于自我突破、自我挑战者。符合条件者可在9 月10 日前将个人简历(2 页内)发邮件至
km.wang@soton.ac.uk
其他情况欢迎来邮、咨询王老师学生或详见校网个人主页。