内容简介
高祥，北京航空航天大学副教授，新加坡国立大学获得博士学位。主要研究方向为程序分析、软件安全与程序合成。在CCF-A类软件工程和程序语言国际顶级期刊和会议（TOSEM、PLDI、OOPSLA、ICSE、ASE、ISSTA等）发表论文10余篇。获得新加坡国立大学研究成就奖，SIGSOFT杰出原型系统奖。所开发的技术已成功应用于微软智能IDE Visual Studio中，有效帮助开发人员提升开发效率。在软件工程顶级期刊TSE，TOSEM，ESE，TDSC等担任审稿人, JSS（Journal of Systems and Software）Open Science Board。
?
时间：2022/11/14（周一）
21:30-23:00
?
地点：腾讯会议（397-865-610）
文章知识点与官方知识档案匹配，可进一步学习相关知识Python入门技能树首页概览215254 人正在系统学习中
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！