何啸

@ustbmde_hexiao

北京科技大学计算机与通信工程学院计算机系副教授,主要研究方向为软件工程、模型驱动开发、软件语言工程、形式化方法、软件测试和验证。2012年毕业于北京大学信息科学与技术学院,获计算机软件与理论方向理学博士学位。2015年-2016年,荷兰格罗宁根大学计算机系访问学者。在FSE、ISSTA、MoDELS、JSS、IST、SoSyM上等发表多篇高水平论文。

Java
C#
C++
Haskell
TeX/LaTeX
北京科技大学 副教授

组织

所有 个人的 我参与的
Forks 暂停/关闭的

    何啸/ustb_exam_template

    北京科技大学试卷排版XeLatex模板。

搜索帮助