韩朴杰，男，工学博士，毕业于西北工业大学计算机科学与技术专业。主要研究方向：软件的形式化方法、实时系统的建模与验证、航空电子总线网络的验证与测试。近年来，以第一作者身份在国内外学术期刊、学术会议上发表学术论文十余篇，其中被SCI、EI收录6篇；主持省部级等科研项目2项，获国防科学技术进步一等奖1项。电子邮箱：hanpujie@zzuli.edu.cn
