打开微信，扫一扫登录
姓名：文成
单位：西安电子科技大学
部门：广州研究院
状态：未认证
个人简介：
Personal Profile
文成，西安电子科技大学广州研究院华山准聘副教授（讲师），硕士生导师，CCF形式化方法专委会通讯委员。2022年12月于深圳大学计算机科学与技术专业获得工学博士学位（导师：秦胜潮教授）；在此之前曾在新加坡南洋理工大学访学一年，在华为技术有限公司可信理论、技术与工程实验室进行产业实践两年。目前主要从事高可信软件工程技术、人工智能使能软件开发与验证、可信软件的基础理论与方法等方面的研...
微信扫码登录，查看完整内容
