队伍建设
百人计划
杰出青年
人才招聘
科技副职
二、目前主要研究方向及简介
Petri网理论与应用
并发，实时系统的形式验证
三、学习经历
1985年于北京师范大学数学系获理学学士学位。
1992年于贵州大学计算机系获理学硕士学位。
2001年于中国科学院数学与系统科学研究院获工学博士学位。
四、工作经历
1985年8月--1998年8月：贵州大学，助教，讲师，副教授。
2001年6月--2003年6月：香港城市大学，SeniorResearchAssociate。
2003年7月--2005年12月：中国科学院软件研究所，副研究员。
2006年：中国科学院软件研究所，研究员，博士生导师。
五、社会兼职
六、研究成果与获奖情况
正在主持的项目：Petri网系统合成与性质保持研究，国家自然科学基金面上项目（60473007）
七、代表论著
1.L.Jiao,“RefiningandverifyingregularPetrinets”,InternationalJournalofSystemScience,Volume39,Issue1,January2008,pp.17–27,Taylor&Francis.
2.X.Huang,L.JiaoandW.Lu,“Whatsemanticequivalencesaresuitablefornon-Interferencepropertiesincomputersecurity”,ICICS07.LNCS4861,pp.334-349.
3.X.Huang,L.JiaoandW.Lu,“Asemanticpreorderonrefinementandfairness”,1stIEEE&IFIPInternationalSymposiumonTheoreticalAspectsofSoftwareEngineering,TASE07,Shanghai,China,pp.139-148.
4.L.JiaoandT.Cheung,“Compositionalverificationforworkflownets”.JournalofCircuits,SystemsandComputers，Vol.15,No.4,pp.551-570,2006.WorldScientific.
5.L.Jiao,T.CheungandW.Lu,“HandlingsynchronizationprobleminPetri-net-basedsystemdesignbyproperty-preservingtransition-reduction”.TheComputerJournal,Vol.48,No.6,pp.692-701,2005.
6.L.Jiao,H.HuangandT.Cheung,“Property-preservingcompositionbyplacemerging”.JournalofCircuits,SystemsandComputers,Vol.14,No.4,pp.793-812,2005.
7.H.Huang,L.JiaoandT.Cheung,“Property-preservingsubnetreductionsfordesigningmanufacturingsystemswithsharedresources”.TheoreticalComputerScience,Vol.332(1-3),pp.461-485,2005.
8.L.Jiao,T.CheungandW.Lu,“Onlivenessandboundednessofasymmetricchoicenets”,TheoreticalComputerScience,Vol.311(1-3),pp.165-197,2004.
9.L.JiaoandT.Cheung,“CharacterizinglivenessmonotonicityforweightedPetrinetsintermsofsiphon-basedproperties”,InternationalJournalofFoundationsofComputerScience,Vol.14,No.4,pp.641-658,2003.
10.H.Huang,L.JiaoandT.Cheung,“Property-preservingcompositionofaugmentedmarkedgraphsthatsharecommonresources”,Proceedingsof2003IEEEInternationalConferenceonRoboticsandAutomation,pp.1446-1451,Taipei,Taiwan,September14-19,2003.
11.L.Jiao,T.CheungandW.Lu,“CharacterizinglivenessofPetrinetsintermsofsiphons”,Proceedingsof23rdInternationalConferenceofApplicationandTheoryofPetriNets,ICATPN2002,Adelaide,Australia,June2002,LNCS2360,pp.203-216.
八、承担项目
