韩朴杰，男，中共党员，河南平顶山人，讲师，工学博士，毕业于西北工业大学计算机科学与技术专业。主要研究方向为软件的形式化方法、实时系统的建模与验证、航空电子总线网络的验证与测试。近年来，在国内外学术期刊、学术会议上发表学术论文十余篇，其中被SCI、EI收录6篇；授权发明专利1项，软件著作权3项，主持省部级等科研项目2项，获国防科学技术进步一等奖1项。
