華保健

華保健，男，1979年8月出生，博士，講師。2008年在中國科學技術大學計算機系計算機軟體理論專業獲博士學位，畢業至今在軟體學院任教。2013年在美國Clemson大學計算機系做訪問學者。

主要研究方向：軟體安全、程式設計語言理論與實現技術等。先後參與國家自然科學基金、中國科學院基金、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。