高红雨，男，计算机学院软件学科部副教授。主要研究方向：软件自动化。