@ustbmde_hexiao
北京科技大学计算机与通信工程学院计算机系副教授,主要研究方向为软件工程、模型驱动开发、软件语言工程、形式化方法、软件测试和验证。2012年毕业于北京大学信息科学与技术学院,获计算机软件与理论方向理学博士学位。2015年-2016年,荷兰格罗宁根大学计算机系访问学者。在FSE、ISSTA、MoDELS、JSS、IST、SoSyM上等发表多篇高水平论文。
存储课题研讨中形成的资料和文档
一种优化的结构化代码差分与合并工具,基于Gumtree和Myers的算法
全国大学生系统能力大赛-编译系统设计赛资料汇总
北京科技大学试卷排版XeLatex模板。