韩朴杰

时间:2024-03-01浏览:168设置

韩朴杰,男,中共党员,河南平顶山人,讲师,工学博士,毕业于西北工业大学计算机科学与技术专业。

主要研究方向为软件的形式化方法、实时系统的建模与验证、航空电子总线网络的验证与测试。近年来,在国内外学术期刊、学术会议上发表学术论文十余篇,其中被SCIEI收录6篇;授权发明专利1项,软件著作权3项,主持省部级等科研项目2项,获国防科学技术进步一等奖1项。


返回原图
/