arrow
赵

赵涌鑫 (Zhao, Yongxin)

East China Normal University邮箱:yxzhao@sei.ecnu.edu.cn
H指数:0
被引数:0

个人简介

"教育经历 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 工作经历 Faculty member (2014 - current), Software Engineering Institute , East China Normal University (ECNU) , China - Associate Professor (2014 - current) Postdoc (2012-2014) Computer Science Department , School of Computing , National University (NUS) , Singapore Fellow (2009) International Institute for Software Technology , United Nations University (UNU) , Macau"

教育背景

暂无内容

工作经历

暂无内容

荣誉奖项

暂无内容

研究方向

可信人工智能 :因果推断大模型AI安全AI鲁棒性可解释和公平性 可信软件工程 :智能系统网络协议等各类系统及软件的可信建模分析验证和应用研究 形式化方法 :程序统一理论形式语义理论形式建模与分析形式验证定理证明