个人简介
教育背景
2010-09--2016-06 宾夕法尼亚大学 博士
2008-09--2010-06 宾夕法尼亚大学 硕士
2004-09--2008-06 电子科技大学 工学学士
奖励信息
（1） World Embedded Systems Contest, 一等奖, 其他, 2012
（2） Best Student Paper Award, 一等奖, 其他, 2012
专利成果
（ 1 ） Digital Twin for vehicle risk evaluation, 发明, 2018, 第 2 作者, 专利号: 16/007.693
（ 2 ） Collision Avoidance for a connected vehicle based on a digital behavioral twin, 发明, 2018, 第 1 作者, 专利号: 16/007.796
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
NicolaPaoletti,ZhihaoJiang,MdArifulIslam,etal,“SynthesizingStealthyReprogrammingAttacksonCardiacDevices”,inProceedingsof201910thACM/IEEEInternationalConferenceOnCyber-PhysicalSystems(ICCPS2019),2019.
RaghavanSanthanaGopalan,WatanabeKosuke,KangEunsuk,LinChung-Wei,JiangZhihao,ShiraishiShinichi,“Property-drivenruntimeresolutionoffeatureinteractions”,inProceedingsof18thInternationalConferenceonRuntimeVerification(RV2018),2018.
KukJang,JamesWeimer,HoussamAbbas,ZhihaoJiang,JacksonLiang,SanjayDixit,RahulMangharam,“ComputerAidedClinicalTrialsforImplantauleCardiacDevices”,inProceedingsof201840thAnnualInternationalConferenceoftheIEEEEngineeringinMedicineandBiologySociety(EMBC),2018.
XimingChen,EunsukKang,ShinichiShiraishi,VictorM.PreciadoandZhihaoJiang,“DigitalBehavioralTwinsforSafeConnectedCars”,inProceedingsofACM/IEEE21stInternationalConferenceonModelDrivenEngineeringLanguagesandSystems(Accepted),2018.
ZhihaoJiang,HoussamAbbas,PieterJMosterman,RahulMangharam“Automatedclosed-loopmodelcheckingofimplantablepacemakersusingabstractiontrees”,ACMSIGBEDReviewvol.14,issue2,pp.15-23,2017.
ZhihaoJiang,HoussamAbbas,KukJinJang,MarcoBeccani,JacksonLiang,SanjayDixit,RahulMangharam“In-silicopre-clinicaltrialsforimplantablecardioverterdefibrillators”,inProceedingsofIEEE38thAnnualInternationalConferenceofEngineeringinMedicineandBiologySociety(EMBC),2016.
JiangZhihao,AbbasHoussam,JangKukJin,MangharamRahul,“TheChallengesofHigh-ConfidenceMedicalDeviceSoftware”,COMPUTER,vol.49,issue1,pp.33-41,January2016.
AbbasHoussam,JangKukJin,JiangZhihao,MangharamRahul,“Towardsmodelcheckingofimplantablecardioverterdefibrillators”,inProceedingsofthe19thInternationalConferenceonHybridSystems:ComputationandControl,pp.87-92,April11,2016.
JiangZhihao,MangharamRahul,“High-confidencemedicaldevicesoftwaredevelopment”,FoundationsandTrendsinElectronicDesignAutomation,vol.9,issue4,pp.309-391,2015.
PajicMiroslav,JiangZhihao,LeeInsup,SokolskyOleg,MangharamRahul,“Safety-CriticalMedicalDeviceDevelopmentUsingtheUPP2SFModelTranslationTool”,ACMTransactionsonEmbeddedComputingSystems,vol.13,specialissueSI,articlenumber127,supplement4,July2014.
JiangZhihao,PajicMiroslav,AlurRajeev,MangharamRahul,“Closed-loopverificationofmedicaldeviceswithmodelabstractionandrefinement”,InternationalJournalonSoftwareToolsforTechnologyTransfer,vol.16,issue2,pp.191-213,April2014.
JiangZhihao,PajicMiroslav,MangharamRahul,“Cyber-PhysicalModelingofImplantableCardiacMedicalDevices”,inProceedingsoftheIEEE,vol.100,issue1,specialIssueSI,pp.122-137,January2012.
PajicMiroslav,JiangZhihao,LeeInsup,SokolskyOleg,MangharamRahul,“Fromverificationtoimplementation:Amodeltranslationtoolandapacemakercasestudy”,inProceedingsof18thIEEERealTimeandEmbeddedTechnologyandApplicationsSymposium(RTAS2012),pp.173-184,2012.
Jiang,Zhihao;Pajic,Miroslav;Moarref,Salar;Alur,Rajeev;Mangharam,Rahul“Modelingandverificationofadualchamberimplantablepacemaker”ToolsandAlgorithmsfortheConstructionandAnalysisofSystems-18thInt.Conf.,TACAS2012,Publicationyear:2012Pages:188-203.
Jiang,Zhihao;Pajic,Miroslav;Mangharam,Rahul“Model-basedclosed-looptestingofimplantablepacemakers”Proceedings-2011IEEE/ACM2ndInternationalConferenceonCyber-PhysicalSystems,ICCPS2011Publicationyear:2011Pages:131-140.
Jiang,Zhihao;Pajic,Miroslav;Connolly,Allison;Dixit,Sanjay;Mangharam,Rahul“Real-timeheartmodelforimplantablecardiacdevicevalidationandverification”Proceedings-22ndEuromicroConferenceonReal-TimeSystems,ECRTS2010Publicationyear:2010Pages:239-248
京公网安备 11010802027423号