• 中欧班列让开放之路越走越宽 2019-04-13
  • “电商定制”价廉未必物美 成为“低价劣质”代名词 2019-04-13
  • 菜鸟世界杯送出50吨包裹-热门标签-华商网数码 2019-04-12
  • 曾祖父、曾祖母、祖父、祖母、父亲、母亲、重孙。一家7人,如果两家联姻,两家共十四人,请问:“看着就想笑”你那15人是咋算出来的? 2019-04-12
  • 权威解读!养老保险基金 中央怎么调剂? 2019-04-10
  • 欢乐“粽”情过端午 尽情放“粽”嗨起来 2019-04-05
  • 南昌重拳整治酒驾毒驾 2019-04-04
  • 德国:网上发布不当言论最高可获刑5年 2019-04-04
  • 哭泣的是鸿茅药酒,受伤的是中华医药!(原创首发) 2019-04-01
  • 不动产登记全国联网 名下多少套房一查就知道 2019-04-01
  • 重庆市南川区:社区“法律诊所”推进普法依法治理 2019-03-29
  • 国家税务总局天津市税务局正式对外挂牌 2019-03-29
  • 新华保险荆州中支助力首届荆楚文化旅游节开幕 2019-03-24
  • 英媒美国父母诉诸法院赶走"啃老"子女 中英均有类似问题 2019-03-24
  • 吕梁:女子被贴罚单心怀不满 朋友圈恶意辱警被查 2019-01-10
  • 詹乃军研究员入选2018年享受政府特殊津贴人员

    文章来源:人力资源处  |  发布时间:2019-03-05  |  【打印】 【关闭

      

    全程打闲一年100万 www.edria.net    近日,人力资源社会保障部下发《关于公布2018年享受政府特殊津贴人员名单的通知》。中国科学院软件研究所詹乃军研究员入选2018年享受政府特殊津贴人员。 

       詹乃军研究员,现任中国科学院软件研究所计算机科学国家重点实验室副主任,国家杰出青年科学基金获得者、中国科学院特聘研究员。其提出一套安全攸关复杂嵌入式系统形式设计方法,并将上述方法应用国家重大战略工程,如探月和高铁;解决了嵌入式系统形式验证中的难题等等。由Springer出版专著1部、专著章节4章,中国科学出版社出版专著1部,编辑会议论文集1部,杂志专辑2辑,在著名会议和杂志发表论文近80篇。在多个国内外著名期刊编委等组织机构任职;发起成立中国计算机学会形式化方法专业委员会,并任首任秘书长(2015-)。 

       政府特殊津贴制度是党中央、国务院关心爱护广大专业技术人才、高技能人才,加强高层次、高技能人才队伍建设的一项重大举措,具有重要意义。 

  • 中欧班列让开放之路越走越宽 2019-04-13
  • “电商定制”价廉未必物美 成为“低价劣质”代名词 2019-04-13
  • 菜鸟世界杯送出50吨包裹-热门标签-华商网数码 2019-04-12
  • 曾祖父、曾祖母、祖父、祖母、父亲、母亲、重孙。一家7人,如果两家联姻,两家共十四人,请问:“看着就想笑”你那15人是咋算出来的? 2019-04-12
  • 权威解读!养老保险基金 中央怎么调剂? 2019-04-10
  • 欢乐“粽”情过端午 尽情放“粽”嗨起来 2019-04-05
  • 南昌重拳整治酒驾毒驾 2019-04-04
  • 德国:网上发布不当言论最高可获刑5年 2019-04-04
  • 哭泣的是鸿茅药酒,受伤的是中华医药!(原创首发) 2019-04-01
  • 不动产登记全国联网 名下多少套房一查就知道 2019-04-01
  • 重庆市南川区:社区“法律诊所”推进普法依法治理 2019-03-29
  • 国家税务总局天津市税务局正式对外挂牌 2019-03-29
  • 新华保险荆州中支助力首届荆楚文化旅游节开幕 2019-03-24
  • 英媒美国父母诉诸法院赶走"啃老"子女 中英均有类似问题 2019-03-24
  • 吕梁:女子被贴罚单心怀不满 朋友圈恶意辱警被查 2019-01-10