于斌
最后更新时间:..
基本信息:
2019 年获得西安电子科技大学计算机软件与理论专业工学博士学位(导师:段振华教授),一直从事大规模软件系统的缺陷检测和可信验证的基础理论与应用研究,是陕西省安全攸关智能软件重点科技创新团队(负责人:田聪教授,学术带头人:段振华教授),现为西安市软件可信认证关键技术重点实验室副主任、计算机科学与技术学院计算理论与技术研究所科研秘书、计算理论与技术研究所本硕博师第二联合党支部书记、中国计算机学会高级会员、西电-海思EDA技术委员会委员。
科研成果:
在ESEC/FSE 2023(CCF A类国际会议)、ISSTA 2023(CCF A类国际会议)、TPDS(CCF A类国际期刊)、ASE 2022(CCF A类国际会议)、TITS(中科院1区期刊)、《软件学报》(CCF A类期刊)、JPDC(中科院2区,CCF B类期刊)、JSS(中科院2区,CCF B类期刊)、TCS(CCF B类期刊,计算机理论领域著名期刊)、Parallel Computing(CCF B类期刊)、C&S(CCF B类期刊)、《通信学报》(CCF B类中文期刊)、《密码学报》(CCF B类中文期刊)等国内外学术期刊和会议发表与项目相关的论文26篇,已授权/申请发明专利6项,软件著作权2项。
承担项目:
[1] 作为项目负责人,主持国家自然科学基金青年基金1项,陕西省自然科学基础研究计划1项,西安市科技计划项目1项,西咸新区秦创原春种投资基金1项(100万),航天五院横向研究课题,校级教改实践类(创业人才培养改革实践)重点项目,校级卓越工程师校企课程建设项目。
[2] 作为核心项目成员,参与西安电子科技大学田聪教授主持的国家自然科学基金重大项目“嵌入式软件合成过程及产品的质量保障”中大规模程序的运行时验证(第三参与人)、段振华教授主持的国家自然科学基金重大研究计划“C/Verilog程序的MSVL验证理论与方法”中模型检测器的设计与实现、以及中国航天科技集团第五研究院合作项目“航天嵌入式软件可信集成环境SpaceDep 研究”中基于LLVM平台的内存泄漏检测等软件可靠性与安全性保障工作,并在探月工程三期“嫦娥五号”月地高速再入返回飞行试验器控制软件等多款航天软件的开发中得到了成功应用。带领科研团队设计研发的“信芯-国产高可信数字芯片设计验证平台”,已与北京微电子技术研究所(航天九院772所)等合作,开展成果应用转化。
所获荣誉:
[1] 创新创业比赛:以项目负责人身份,获得2022年陕西省科技工作者创新创业大赛一等奖,2023年创客中国广东赛区第一名、全国总决赛第三名(创客组)。
[2] 指导学生比赛:以第一/第二指导教师身份,指导研究生/本科生研究团队一起获得2021年中国国际“互联网+”大学生创新创业大赛国赛金奖(项目名称:信芯-国产高可信数字芯片设计验证平台),2022年度国家级大学生创新创业计划项目结题验收结果优秀,2022年“挑战杯”大学生创业计划竞赛省赛金奖,2023年中国国际“互联网+”大学生创新创业大赛国赛三等奖、省赛金奖+银奖,2023年“挑战杯”大学生课外学术科技作品竞赛国赛三等奖、省赛特等奖,2023年“挑战杯”中国大学生创业计划竞赛国赛三等奖。
[3] 教学与党建:2020-2021年度、2022-2023年度优秀本科生导学团队,2023年度计算机科学与技术学院优秀党支部书记,2024年西安电子科技大学优秀党支部。
[4] 个人荣誉:获得2021年第七届中国国际“互联网+”大学生创新创业大赛优秀创新创业导师和“陕西赛区先进个人”称号,获得2022年第十一届“挑战杯”陕西省大学生创业计划竞赛优秀指导教师、2023年十四届“桃战杯”陕西省大学生课外学术科技作品竞赛优秀指导教师和2023年第九届中国国际“互联网+”大学生创新创业大赛陕西赛区优秀创新创业导师称号,被评为2021年度和2022年度西安电子科技大学优秀创新创业导师。
研究领域:
[1] 嵌入式并发C程序静态验证(Vulnerability Detection for C Programs)
[2] 嵌入式并发C程序动态缺陷检测(Vulnerability Detection for C Programs)
Google Scholar主页:Bin Yu - Google 学术搜索
Semantic Scholar主页:Bin Yu | Semantic Scholar
邮编 :
通讯/办公地址 :
移动电话 :
邮箱 :
2013.9 -- 2019.7
西安电子科技大学
 计算机软件与理论
 博士研究生毕业
 工学博士学位
2008.9 -- 2012.7
西安电子科技大学
 软件工程
 本科(学士)
 工学学士学位
2020.6 -- 至今
西安电子科技大学 计算机科学与技术学院 计算理论与技术研究所本硕博师第二联合党支部书记 讲师 在岗
西电-海思EDA技术委员会第一届技术指导委员会委员(2023.3-2028.2)
《计算机学报》、《软件学报》、TNNLS期刊审稿人
中国计算机学会高级会员,形式化方法专委会执行委员
基于大语言模型的缺陷检测(Vulnerability Detection Based on LLM)
嵌入式C程序缺陷检测(Vulnerability Detection for C Programs)