@ustbmde_hexiao
北京科技大学计算机与通信工程学院计算机系副教授，主要研究方向为软件工程、模型驱动开发、软件语言工程、形式化方法、软件测试和验证。2012年毕业于北京大学信息科学与技术学院，获计算机软件与理论方向理学博士学位。2015年-2016年，荷兰格罗宁根大学计算机系访问学者。在FSE、ISSTA、MoDELS、JSS、IST、SoSyM上等发表多篇高水平论文。
北京科技大学试卷排版XeLatex模板。
最近一年贡献：165 次
最长连续贡献：5 日
最近连续贡献：2 日
贡献度的统计数据包括代码提交、创建任务 / Pull Request、合并 Pull Request，其中代码提交的次数需本地配置的 git 邮箱是 Gitee 帐号已确认绑定的才会被统计。
