院长信箱
当前位置: 首页>师资队伍
教师详情
  • 个人信息
    何啸

    He Xiao

    系      所:
    |计算机科学与技术系|
    职      称:
    副教授  
    职      务:
    计算机科学与技术系副系主任
    办公地点:
    机电楼826
    办公电话:
    电子邮箱:
    hexiao@ustb.edu.cn
    本 科 课 程:
    软件工程,软件工程课程设计
    研究生课程:
    软件分析与设计,软件语言进展专题
    科 研 方 向:
    软件工程,程序语言,模型驱动工程,软件测试,数值模拟
    学术与社会兼职:
    CCF软件工程专委会委员
  • 简   历

    2012年毕业于北京大学信息科学技术学院,获计算机软件与理论理学博士学位。2012年进入北京科技大学工作。2015年至2016年在荷兰格罗宁根大学访学。

    主要研究方向为软件工程、程序语言、模型驱动工程、软件测试和数值模拟。在POPL24、OOPSLA23、ISSTA20、FSE18等CCF推荐的高水平会议和JSS、SCIS、SoSyM、IST等高水平国际期刊发表轮30余篇,并获得MoDELS22大会最佳论文奖(第一位中国大陆获奖者)和ACM杰出论文奖。

  • 代表性论文

    [1] Xiao He, Letian Tang, Yutong Li.  Accelerating Similarity-Based Model Matching Using On-The-Fly Similarity Preserving Hashing. ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems. CCF B. Best Paper & ACM Distinguish Paper Award

    [2] Xiao He, Zhenjiang Hu, Na Meng. A Theoretic Framework of Bidirectional Transformation between Systems and Models. SCIENCE CHINA Information Sciences (Accepted). https://doi.org/10.1007/s11432-020-3276-5. CCF B

    [3] Xiao He, Xingwei Wang, Jia Shi, Yi Liu. 2020. Testing High Performance Numeric Simulation Programs: Experience, Lessons Learned, and Open Issues. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 502–515, July 2020. EI: 20203209015102. doi:10.1145/3395363.3397382. CCF A

    [4] Xiao He, Xing Chen, Sibo Cai, Ying Zhang, Gang Huang. Testing Bidirectional Model Transformation Using Metamorphic Testing. Information and Software Technology, 2018, vol. 104, pp. 109-129. WOS: 000449138900008, EI:20183405710816, CCF B

    [5] Xiao He and Zhenjiang Hu. 2018. Putback-Based Bidirectional Model Transformations. In Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’18), pp. 434-444, November 4–9, 2018, Lake Buena Vista, FL, USA. ACM, New York, NY, USA, 11 pages. https://doi.org/10.1145/3236024.3236070. CCF A

  • 科研业绩

    1、国家重点研发计划重点专项,新一代国产超算高精细油气藏模拟软件研发(2023YFB3002903),课题负责人,在研

    2、北京市自然科学基金,双向模型转换技术研究与应用(4192036),项目负责人,已结题

  • 获得奖励/专利

     ACM Distinguish Paper Award

  • 计通NEWS
  • 索思