个人资料
教育经历2007/09-2011/07 华东师范大学 软件工程 本科 2014/02-2015/02 美国加利福尼亚大学戴维斯分校(UC Davis) 访问博士生 2011/09-2016/07 华东师范大学 计算机软件与理论 工学博士 工作经历2016/08-2019/05 新加坡南洋理工大学(NTU) 网络安全实验室 博士后研究员 2016/12-2017/10 新加坡劳斯莱斯-南洋理工大学联合实验室 研究科学家 2019/06-2020/09 瑞士苏黎世联邦理工学院(ETH Zurich) 高级软件技术实验室 博士后研究员 2020/10-至今 华东师范大学 软件工程学院 教授 个人简介个人详细信息、研究成果和招生信息请访问个人主页:https://tingsu.github.io/ 欢迎博士后、博士、硕士以及华东师范大学的本科生加入我们的研究小组,如果你对软件分析与验证、软件测试、软件安全、可信人工智能、复杂软件与系统方向感兴趣,欢迎随时邮件联系和交流(附上你的简历和你的项目经历)。我们也欢迎暑期实习生。可以通过我们的研究论文、研究工具、和组员了解更多。 我们的研究工作受到了中国国家自然基金、瑞士国家自然基金、Google、ByteDance(字节跳动)、新加坡南洋理工大学创新基金的慷慨支持。我们的部分研究成果已在不同行业落地应用。 我们实验室提供海外知名大学和研究所的访学机会(如澳洲、新加坡、美国和瑞士)、头部高科技企业科研实习机会。 研究方向软件分析与验证、软件测试、软件安全、可信人工智能、复杂软件与系统。 招生与培养科研项目- 国家自然科学基金委员会,面上项目,2021-01至2024-12, 在研,主持 - 瑞士国家自然科学基金委员会,Spark项目,2020-02至2020-12, 已结题,主持
学术成果获奖和荣誉: 入选国家级青年人才计划(2020) Google Faculty Research Award (Google, 2019-2020) ACM SIGSOFT Distinguished Paper Award (ACM, ASE 2019) ACM SIGSOFT Distinguished Paper Award (ACM, ASE 2018) ACM SIGSOFT Distinguished Paper Award (ACM, ICSE 2018) Nomination for Distinguished PhD Thesis, Selected by China Computer Federation (CCF), 2017 Best Research Prototype Tool Award (First Prize, NASAC 2017), CCF, 2017 First Prize in ACM Student Research Competition (ICSE 2016), ACM, 2016 论文: 荣誉及奖励 |