个人资料
教育经历工作经历
个人简介王培新，博士，现为华东师范大学软件工程学院青年研究员（紫江青年学者），入选上海市高层次青年人才计划。研究方向为形式化方法，涉及程序验证和可信人工智能。此前在英国牛津大学和新加坡南洋理工大学从事博士后研究工作，博士毕业于上海交通大学。研究工作发表于POPL、PLDI、CAV、NeurIPS、AAAI等领域内顶级会议，参与多个国际会议如ICML、ICLR、CAV、AISTATS等审稿工作。 社会兼职研究方向形式化方法，涉及程序验证及可信人工智能 招生与培养开授课程科研项目学术成果荣誉及奖励
|
|
王培新 |