删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

中国科学院软件研究所研究生导师简介-焦 莉

软件研究所 免费考研网/2013-11-28


队伍建设
百人计划
杰出青年
人才招聘
科技副职



二、目前主要研究方向及简介
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.

八、承担项目

相关话题/软件

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 中国科学院软件研究所研究生导师简介-苏璞睿
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介网络与系统安全三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-张振峰
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介主要从事密码学理论与应用、安全协议的设计与分析等方面的研究工作。主持国家自然科学基金项目“高信度密码协议的设计与分析”、“密码协议的安全模型与可证明安全性研究”等项目,进行安全协议的设计与分析,密码系统安全模型的建立与可证明安全性研究 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-邓 勇
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介空间综合电子信息系统三、学习经历1996年国防科技大学电子学与信息系统工学学士;1999年国防科技大学信息与通信工程工学硕士;哈尔滨工业大学信息与通信工程博士生。四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-马恒太
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介卫星组网与信息安全三、学习经历1991-1995武汉治金科技大学自动化系工学学士学位 计算机应用1995-1997武汉科技大学自动化系工学硕士学位 计算机应用1997-2001中国科学院软件研究所工学博士学位 计算机应用技术四、工作经 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-郑 刚
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介卫星组网通信;网络信息安全;网络控制网络控制系统分析与设计;网络安全与信息安全;网络系统管理;混杂系统分析、控制和优化;故障诊断与容错控制;计算机仿真。与管理。三、学习经历2001.9——2004.7,中国科学院自动化研究所,控制理论 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-刘立祥
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介网络及其通信技术、网络计算技术三、学习经历2002/7毕业于上海交通大学,获得博士学位四、工作经历2003/2-2005/2中科院软件所博士后2005/3-至今中科院软件所综合信息系统国家重点实验室五、社会兼职六、研究成果与获奖情况主 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-张金芳
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介地形分析,大地形可视化,虚拟现实。三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著"地形可视性分析"系统仿真学报,2005.8八、承担项目 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-彭启民
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介综合信息处理与集成:(1)图像处理与理解,包括图像及视频的预处理、目标检测、目标识别等;(2)模式识别与机器学习,包括特征提取,分类器设计等;(3)信息融合,包括多源多层信息的融合处理算法设计及系统集成。三、学习经历北京理工大学计算机 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-徐帆江
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-郑昌文
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介信息处理与集成、人工智能、计算机仿真三、学习经历2003.10-2005.5中国科学院软件研究所博士后1999.9-2003.9华中科技大学图像识别与人工智能研究所工学博士1996.9-1998.10华中理工大学经济学院经济学硕士19 ...
    软件研究所 免费考研网 2013-11-28