華保健

主要研究方向：軟體安全、程序設計語言理論與實現技術等。先後參與國家自然科學基金、中國科學院基金、Intel中國研究中心基金等數項科研課題，目前主持課題兩項；發表研究論文十餘篇。

獲獎情況：件學院優秀員工獎、科大訊飛獎教金、科大專業學位教育先進個人等。

主要論著：

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),pp.369-380.2011.

4.BaojianHua,BoXu,andYingGao.ExplicitlyTypedStaticSingle-assignmentForm.The2010InternationalConferenceonEducationTechnologyandComputer.Shanghai,China.pp.321-327.2010.

5.華保健，陳意雲，李兆鵬，王志芳，葛琳。安全語言PointerC的設計與形式證明。計算機學報。31(4)，pp.556-564，2008。