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

中国科学院大学研究生导师教师师资介绍简介-李广元

本站小编 Free考研考试/2020-04-27

基本信息
李广元男 研究员 硕导中国科学院软件研究所
电子邮件: ligy@ios.ac.cn
通信地址: 中科院软件所计算机科学国家重点实验室
邮政编码: 100190


研究领域实时系统,模型检测,时序逻辑,形式化方法

招生信息
学科专业081202-计算机软件与理论
085211-计算机技术


工作经历
社会兼职

专利与奖励
奖励信息(1) 逻辑与计算复杂性, 一等奖, 省级, 1992

专利成果

出版信息
发表著作

科研活动
科研项目( 1 ) 信息物理融合系统的基础研究, 参与,国家级,2014-01--2016-12
( 2 ) 度量区间时序逻辑MITL的模型检测与控制器合成, 主持,国家级,2015-01--2018-12
( 3 ) 大规模概率并发实时系统模型检验, 参与,国家级,2016-01--2020-12


合作情况
项目协作单位


相关话题/中国科学院大学 师资

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 中国科学院大学研究生导师教师师资介绍简介-李国红
    基本信息李国红男博导生物物理研究所电子邮件:liguohong@sun5.ibp.ac.cn通信地址:北京市朝阳区大屯路15号邮政编码:100101研究领域染色质结构和表观遗传调控招生信息2012年计划招收2名硕博生招生专业:生物化学和分子生物学招生方向染色质结构和基因表达调控的生物学研究教育背景学历1991-1995:武汉大学病毒系,本科1995-1998:北京医科大学基础医学院生物物理系,硕士 ...
    本站小编 Free考研考试 2020-04-27
  • 中国科学院大学研究生导师教师师资介绍简介-李桂荣
    基本信息李桂荣女硕导中国科学院半导体研究所电子邮件:grli@red.semi.ac.cn通信地址:北京市海淀区清华东路甲35号邮政编码:100083部门/实验室:超晶格国家重点实验室研究领域招生信息招生专业070205-凝聚态物理招生方向光电探测教育背景1999-09--2005-03中国科学院半导体研究所博士1989-09--1992-05中国科学院上海技术物理研究所硕士1984-09--19 ...
    本站小编 Free考研考试 2020-04-27
  • 中国科学院大学研究生导师教师师资介绍简介-李国庆
    基本信息李国庆男硕导中国科学院工程热物理研究所电子邮件:liguoqing@iet.cn通信地址:北京市北四环西路11号邮政编码:100190研究领域航空发动机密封传热及两相流作用机理招生信息航空发动机密封传热、两相流等方向硕士生两名招生专业080701-工程热物理招生方向航空发动机密封传热及两相流作用机理航空发动机热端部件传热机理航空发动机转子动力学分析教育背景2005-09--2010-07北 ...
    本站小编 Free考研考试 2020-04-27
  • 中国科学院大学研究生导师教师师资介绍简介-李国杰
    基本信息李国杰男博导中国科学院计算技术研究所电子邮件:lig@ict.ac.cn通信地址:北京市海淀区保福寺952楼201邮政编码:100080研究领域招生信息招生专业081201-计算机系统结构招生方向高性能计算机系统教育背景1985-08--美国伊利诺依大学CSL实验室博士后1981-09--美国普渡大学博士1978-09--中国科学院硕士1962-09--北京大学本科学历学位工作经历工作简历 ...
    本站小编 Free考研考试 2020-04-27
  • 中国科学院大学研究生导师教师师资介绍简介-李海波
    基本信息李海波男博导中国科学院武汉岩土力学研究所电子邮件:hbli@whrsm.ac.cn通信地址:武汉市武昌小洪山中科院武汉岩土所邮政编码:研究领域招生信息招生专业081401-岩土工程招生方向岩石动力学教育背景1996-09--1999-12中国科学院武汉岩土力学研究所(与新加坡南洋理工大学联合培养)岩土工程专业获博士学位1992-09--1995-07中国科学院武汉岩土力学研究所岩土工程专业 ...
    本站小编 Free考研考试 2020-04-27
  • 中国科学院大学研究生导师教师师资介绍简介-李国荣
    李国荣女硕导计算机科学与技术学院电子邮件:liguorong@ucas.edu.cn通信地址:北京市石景山区玉泉路19号甲,中国科学院大学计算机科学与技术院,100049邮政编码:100049部门/实验室:计算机与控制学院研究领域计算机视觉:主要涉及计算机立体视觉、模式识别及视觉目标跟踪,应用领域涉及视频编码、视频监控及智能交通等图像语义理解、跨媒体数据内容挖掘与管理教育背景2006-09--20 ...
    本站小编 Free考研考试 2020-04-27
  • 中国科学院大学研究生导师教师师资介绍简介-李海波
    基本信息李海波男博导中国科学院高能物理研究所电子邮件:lihb@ihep.ac.cn通信地址:玉泉路19-乙邮政编码:100049部门/实验室:实验物理中心研究领域招生信息招生专业070202-粒子物理与原子核物理招生方向粒子物理实验教育背景1995-09--1998-07中科院高能物理研究所理学博士1992-08--1995-07河南师范大学理学硕士1988-07--1992-07河北师范大学理 ...
    本站小编 Free考研考试 2020-04-27
  • 中国科学院大学研究生导师教师师资介绍简介-李红达
    基本信息李红达男博导中国科学院信息工程研究所电子邮件:lihongda@iie.ac.cn通信地址:风林绿洲-甲21-102邮政编码:100101研究领域招生信息招生专业083900-网络空间安全招生方向密码协议理论与技术,云计算安全理论与技术教育背景1998-03--2001-04西北工业大学博士研究生1987-09--1990-05北京科技大学硕士研究生1980-09--1984-06延安大学 ...
    本站小编 Free考研考试 2020-04-27
  • 中国科学院大学研究生导师教师师资介绍简介-李海艳
    基本信息李海艳女硕导地球科学学院电子邮件:lihaiyan@ucas.ac.cn通信地址:北京市玉泉路19甲邮政编码:100049部门/实验室:地球与行星科学学院研究领域物理海洋学、海洋遥感、海洋动力学、海气相互作用招生信息招生专业070701-物理海洋学招生方向卫星海洋学,物理海洋,海洋遥感海气相互作用教育背景2004-09--2007-07中国科学院海洋研究所博士研究生2001-09--200 ...
    本站小编 Free考研考试 2020-04-27
  • 中国科学院大学研究生导师教师师资介绍简介-李海蓉
    基本信息李海蓉女硕导中国科学院地理科学与资源研究所电子邮件:lihr@igsnrr.ac.cn通信地址:北京朝阳区大屯路甲11号邮政编码:100101部门/实验室:环境地理与人类健康研究室研究领域招生信息招生专业083001-环境科学招生方向环境与健康教育背景2000-09--2003-07中国科学院地理科学与资源研究所理学博士1996-09--1999-07中国科学院地理所理学硕士1992-09 ...
    本站小编 Free考研考试 2020-04-27