ICTT介绍页面 - htmlpage.cn
Faculty

师资队伍（广研院）

文 成

准聘副教授（讲师）；广研院全职教师

  • 硕士生导师，CCF形式化方法专委会通讯委员。2022年12月于深圳大学计算机科学与技术专业获得工学博士学位（导师：秦胜潮教授），在此之前曾在新加坡南洋理工大学访学一年，在华为技术有限公司可信理论、技术与工程实验室进行产业实践两年。目前主要从事高可信软件工程技术、人工智能使能软件开发与验证、可信软件的基础理论与方法等方面的研究，坚持理论研究与产业应用并重，目前已经在包括CAV2024、ICSE 2024、ICSE 2022、ICSE 2020、TKDD、IEEE Transactions on Reliability等顶级国际会议和期刊上发表十余篇论文；作为项目负责人承担国家自然科学基金青年基金项目1项、中国博士后科学基金面上项目1项，以及华为公司企业产学研合作课题1项。个人独立研发的自动化测试工具集已在Linux系统主流的开源应用程序中发现上百个真实缺陷（包括73 CVEs），主导研发的并发程序分析平台已在华为公司多个产品线得到实际部署和使用。
  • 个人主页：https://faculty.xidian.edu.cn/wencheng

    • 苏 杰

    全职博士后；广研院全职教师；CIO

  • 全职博士后，CCF专业会员。2023年6月博士毕业于西安电子科技大学计算机科学与技术专业，获工学博士学位（导师：田聪教授）。此前，2016 年毕业于西北农林科技大学，获工学学士学位。2017 年开始攻读西安电子科技大学硕士学位，并于2018 年9 月获硕博连读资格。主要从事模型检测、程序验证、可信软件理论、并发程序分析等方面的研究。目前已在CAV2024、TKDD、ESEC/FSE 2023、TACAS 2023、ASE 2022、ESEC/FSE 2021和软件学报等国内外学术会议期刊发表学术论文多篇。

    • Faculty

    师资队伍（计科院）

    田 聪

    教授（长江、优青）；总负责人

  • 博士生导师，研究生院常务副院长、科学研究院常务副院长，教育部长江学者特聘教授，中国计算机学会杰出会员，曾获国家自然科学优秀青年基金，教育部自然科学奖一等奖和陕西省科学技术奖一等奖一项。主要从事可信软件基础理论与方法、系统软件开发与可信保障、嵌入式软件智能合成与质量保障等方面的研究。作为负责人承担了国家自然科学基金重点项目、优秀青年基金项目、面上项目和青年基金项目。作为主要成员，参与了国家重点基础研究发展计划973子课题和国家自然科学基金可信软件重大专项培育项目。主要研究方向为可信软件基础理论与方法。科研成果先后获得教育部自然科学一等奖和陕西省科学技术一等奖，并在探月工程三期月地高速再入返回飞行器控制和浏览器安全漏洞检测中得到了成功应用。发表包括TSE、TCAD、TKDE、TCS、ICSE、ASE和IJCAI等顶级期刊/会议在内的重要学术论文100余篇，授权国家发明专利30余项。

    • 秦老师

    教授（长江）；资深顾问

  • 博士生导师。英国高等教育学会会士、ACM高级会员、IEEE高级会员、ACM SIGPLAN会员。北京大学学士（1997）和博士（2002）。博士毕业后在新加坡国立大学担任新加坡-MIT 联盟计算机科学研究员。2005 年起在英国Durham 和Teesside 大校任教，2011年晋升正教授，历任科研副院长等职位。研究工作主要涉及形式化规范和建模，程序理论和程序逻辑，程序分析与验证等。截止目前已在国际知名期刊和会议发表高水平论文130多篇。近年来，先后主持EPSRC funded project、 Innovate UK funded project、和国家自然科学基金面上项目等研究。
  • 个人主页：https://scqin.github.io/

    • 陆 旭

    副教授；广研院兼职教师

  • 硕士生导师，CCF形式化方法专委会执行委员。于2017年在西安电子科技大学获得计算机应用技术专业博士（导师：段振华教授）学位。博士毕业后留校任教，现为西安电子科技大学副教授，硕士生导师，校2018级本科生导师，陕西省重点科技创新团队（安全攸关智能软件创新团队）、校计算理论与技术研究所骨干成员。主要从基于形式化方法的程序验证以及智能规划等方面的研究和应用工作。主持国家自然科学基金面上项目1项（在研），青年科学基金1项（结题），中国博士后科学基金特别资助项目1项（在研），面上项目1项（结题），中央高校基本科研业务费资助项目新教师创新基金1项（在研）。以第一作者发表高水平论文多篇，主要发表在CCF A类、中科院二区期刊（TKDE），中科院一区期刊（TITS），CCF A类、人工智能领域顶级会议（IJCAI），CCF B类、理论计算机科学著名国际期刊（Theoretical Computer Science）以及国内著名期刊软件学报。获得西安电子科技大学优秀博士学位论文奖，应邀担任AAAI会议PC member、Journal of Systems Architecture和软件学报审稿人。
  • 个人主页：https://faculty.xidian.edu.cn/LX13

    • 于 斌

    准聘副教授（讲师）；广研院兼职教师

  • 硕士生导师，CCF高级会员，CCF形式化方法专委会执行委员，西电-海思EDA技术委员会第一届技术指导委员会委员。2019年获得西安电子科技大学计算机软件与理论专业工学博士学位（导师：段振华教授），一直从事大规模软件系统的时序逻辑性质描述和运行时验证方面的基础理论与应用研究，是陕西省安全攸关智能软件重点科技创新团队（负责人：田聪教授，学术带头人：段振华教授）和西安市软件可信认证关键技术重点实验室（主任：田聪教授，学术带头人：段振华教授）核心骨干成员，现为计算机科学与技术学院计算理论与技术研究所科研秘书、计算理论与技术研究所本硕博师第二联合党支部书记、中国计算机学会高级会员。目前已在国内外学术期刊和会议发表与项目相关的论文26篇，已授权/申请发明专利6项，软件著作权2项。作为项目负责人，主持国家自然科学基金青年基金1项（30万），陕西省自然科学基础研究计划1项（3万），西安市科技计划项目1项（3万），西咸新区秦创原春种投资基金1项（100万）。
  • 个人主页：https://faculty.xidian.edu.cn/YUBIN

    • 马 智

    准聘副教授（讲师）；广研院兼职教师

  • CCF专业会员,CCF形式化方法专委会通讯委员。2016年于电子科技大学获得学士学位，2018年于日本早稻田大学获得硕士学位，2022年于航天五院502所获得博士学位。现就职于西安电子科技大学计算机科学与技术学院担任讲师，主要从事操作系统、嵌入式软件和形式化验证相关方向的研究。参与了多个国家重大、重点项目，在我国第四代空间操作系统“天卓”的研发过程中，主要负责空间操作系统架构的设计与验证

    • Postgraduate

    研究生

    陈晨

    2022级硕士生

    邓联赛

    2023级硕士生

    王颖

    2024级硕士生

    林志伟

    2024级硕士生

    陈宇杰

    2024级硕士生

    刘宇阳

    2024级硕士生

    袁子轩

    2024级硕士生

    胡俊杰

    2024级硕士生

    奚佳新

    2024级硕士生

    王敬贤

    2024级硕士生

    林雅佳

    2024级硕士生

    周润博

    2024级硕士生

    黄俊杰

    2024级硕士生


    Research Assistant

    研究助理

    暂无

    科研事务助理


    Alumni

    毕业校友

    暂无

    ???

    毕业去向:
    ????

    Contact Us

    Get In Touch With Us Now

    广东省广州市黄埔区九龙大道206号西安电子科技大学广州研究院

    广州市黄埔区
    wencheng[AT]xidian.edu.cn
    510555