学生
赵涌鑫
  • 所属院校:
    华东师范大学
  • 所属院系:
    软件工程学院
  • 研究领域:
    可信软件工程:智能系统、信息物理融合系统、网络协议建模与分析、汽车嵌入式软件等各类系统及软件建模、分析、验证和应用研究 形式化方法:程序统一理论、形式语义理论、形式建模与分析、形式验证、定理证明 可信人工智能:对抗攻击与防御、可解释深度学习、智能系统可信性度量、鲁棒性验证 智能驾驶研究 可信硬件设计
  • 职称:
    学生
  • 导师类型:
    --
  • 招生专业:
    --
个人简介

个人简介

Qualifications PhD, Software Engineering Institute, East China Normal University, China (07-12) - Major in Technology of Computer Application Bachelor, Department Of Mathematics, East China Normal University, China (03-07) - Major in Information and Computational Science 工作经历 Work Experiences Faculty member (2014 - current), Software Engineering Institute, East China Normal University (ECNU), China - Associate Professor (2014 - current) Postdoc (2012-2014) Computer Science Department, organization of Computing, National University (NUS), Singapore Fellow (2009) International Institute for Software Technology, United Nations University (UNU), Macau 开授课程 Teaching: Undergraduate 高等数学二 (Advanced Mathematics II) 2019-2020学年第2学期,90学时,卓越班 2018-2019学年第2学期,90学时 2017-2018学年第2学期,90学时 2016-2017学年第2学期,90学时 2016-2017学年第1学期,90学时 2015-2016学年第1学期,90学时 2014-2015学年第1学期,90学时 概率论与数理统计 2019-2020学年第1学期,54学时 2018-2019学年第1学期,54学时 2017-2018学年第1学期,54学时 2016-2017学年第1学期,54学时 2015-2016学年第1学期,36学时 2014-2015学年第2学期,36学时 科研项目 Supported By: National Key Research and Development Program of China (2019.12-2022.11) Science and Technology Commission of Shanghai Municipality Project (PI,2018.6-2021.5) National Science Foundation of China (PI,2015.1-2017.12) Dissertations [1] Yongxin Zhao, The Theory of Signal Calculus. Software Engineering Institute, East China Normal University, May, 2012.

去登录