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

    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

  • 天辰娱乐 - 官方认证,资金托底!
  • 索思
天辰娱乐专业提供𓀉:天辰娱乐🦒、等服务,提供最新官网平台、地址、注册、登陆、登录、入口、全站、网站、网页、网址、娱乐、手机版、app、下载、欧洲杯、欧冠、nba、世界杯、英超等,界面美观优质完美,安全稳定,服务一流,天辰娱乐欢迎您。 天辰娱乐官网xml地图
天辰娱乐 天辰娱乐 天辰娱乐 天辰娱乐 天辰娱乐 天辰娱乐 天辰娱乐 天辰娱乐 天辰娱乐 天辰娱乐