软件安全缺陷分析初探
个人简介文成于2022年在深圳大学获得博士学位,现为华山学者准聘副教授,主要从事软件分析与测试、软件工程、程序设计语言、形式化方法等方面的研究,相关研究成果发现开源软件中上百个真实缺陷,发表论文十余篇。此前,曾于2018-2019年在新加坡南洋理工大学进行访学,并于2020-2022年在华为2012实验室可信测试工程实验室实习,开发的软件分析工具在华为公司中得到实际部署和使用。报告时间2023年2...
2023-02-02个人简介文成于2022年在深圳大学获得博士学位,现为华山学者准聘副教授,主要从事软件分析与测试、软件工程、程序设计语言、形式化方法等方面的研究,相关研究成果发现开源软件中上百个真实缺陷,发表论文十余篇。此前,曾于2018-2019年在新加坡南洋理工大学进行访学,并于2020-2022年在华为2012实验室可信测试工程实验室实习,开发的软件分析工具在华为公司中得到实际部署和使用。报告时间2023年2...
2023-02-02个人简介胥军于2022年在西北工业大学机电学院获得工学博士学位,现为准聘副教授。2019年-2020年赴美国University of Michigan-Dearborn进行联合培养。研究方向为车间生产调度与算法设计,研究成果发表于European Journal of Operational Research、Omega等国际高水平期刊,授权国家发明专利4项,主持西北工业大学研究生创意创新种子基金1项,参与国家自然科学基金2项。参加INFORMS ( 2018、2019、...
2023-02-02个人简介侯松岩,2016年本科毕业于苏州大学,2020年在新加坡南洋理工大学电机电子学院获得博士学位。之后于2020年1月在美国三大光学中心之一的亚利桑那大学光学院开展研究工作。侯松岩的研究领域主要为微纳光学、集成光学、铌酸锂薄膜调制器和智能光子芯片等,于2021年获得国家基金委优秀自费留学生奖学金。他的研究成果广泛发表于Science Advances、ACS Photonics、Advanced Optical Materials等国际高水平期刊,并多次参加在...
2023-01-09个人简介蔡明京于2020年在香港中文大学获得博士学位,现为菁英副教授。蔡博士研究兴趣为能量收集、自供能物联网系统等。发表论文10余篇,申请或授权中国、美国和PCT发明专利11项。获得ASME 2020能量收集最佳论文奖、香港中文大学工学院优秀博士论文奖、广东省科技进步二等奖、日内瓦发明展金奖等。报告时间2023年1月13日15:00会议平台及会议号会议平台:腾讯会议会议号:925 181 34
2023-01-09个人简介滕祥意,华山准聘副教授,硕士生导师。2016年本科毕业于电子科技大学,2021年于西安电子科技大学人工智能学院获得工学博士学位(导师:刘静教授)。毕业后加入,主要从事复杂网络、智能计算、图表示学习相关方向研究,参与科技部新一代人工智能重点研发计划、国防科技计划等一系列科研项目。在成果转化方面,负责开发的面向“新高考”智慧教育相关算法已成功在20个省市的5000多所学校进行了...
2023-01-09