所在地：上海上海市 入职年份： 资料待完善 学历： 硕士 毕业院校： 资料待完善
从事领域 软件，人工智能
擅长能力 软件分析与验证、软件测试、软件安全、可信人工智能、复杂软件与系统。
个人详细信息、研究成果和招生信息请访问个人主页：https://tingsu.github.io/欢迎博士后、博士、硕士以及华东师范大学的本科生加入我们的研究小组，如果你对软件分析与验证、软件测试、软件安全、可信人工智能、复杂软件与系统方向感兴趣，欢迎随时邮件联系和交流（附上你的简历和你的项目经历）。我们也欢迎暑期实习生。可以通过我们的研究论文、研究工具、和组员了解更多。我们的研究工作受到了中国国家自然基金、瑞士国家自然基金、Google、ByteDance（字节跳动）、新加坡南洋理工大学创新基金的慷慨支持。我们的部分研究成果已在不同行业落地应用。我们实验室提供海外知名大学和研究所的访学机会（如澳洲、新加坡、美国和瑞士）、头部高科技企业科研实习机会。