华保健
华保健，男，1979年8月出生，博士，讲师。2008年在中国科学技术大学计算机系计算机软件理论专业获博士学位，毕业至今在软件学院任教。2013年在美国Clemson大学计算机系做访问学者。
正文
主要研究方向：软件安全、程序设计语言理论与实现技术等。先后参与国家自然科学基金、中国科学院基金、英特尔中国研究中心基金等数项科研课题，目前主持课题两项；发表研究论文十余篇。
获奖情况：件学院优秀员工奖、科大讯飞奖教金、科大专业学位教育先进个人等。
主要论著：
1.BaojianHua,AitingZhou,HongjunZhu.StudyandImplementationofaHybridDetectionTechniqueforAndroidKernelHook.JournalofComputerApplication.Accepted.2014.
2.BaojianHua,YingGao.Imperative-styleSemanticFrameworkforObject-orientedlanguages.ComputerScience.40(2),pp.159-164.2013.
3.BaojianHua.StaticTypingforaSubstructuralLambdaCalculus.FrontierofComputerScienceinChina.5(3),pp369-380.2011.
4.BaojianHua,BoXu,andYingGao.ExplicitlyTypedStaticSingle-assignmentForm.The2010InternationalConferenceonEducationTechnologyandComputer.Shanghai,China.pp.321-327.2010.
5.华保健，陈意云，李兆鹏，王志芳，葛琳。安全语言PointerC的设计与形式证明。计算机学报。31(4)，pp556-564，2008。