基本信息
李广元男 研究员 硕导中国科学院软件研究所
电子邮件: 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
合作情况
项目协作单位
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
中国科学院大学研究生导师教师师资介绍简介-李广元
本站小编 Free考研考试/2020-04-28
相关话题/中国科学院大学 师资
中国科学院大学研究生导师教师师资介绍简介-李广亿
基本信息李广亿男硕导中国科学院大连化学物理研究所电子邮件:lgy2010@dicp.ac.cn通信地址:辽宁省大连市沙河口区中山路457号邮政编码:116023部门/实验室:研究生部研究领域以木质纤维素基平台化合物为原料合成航空煤油以及优质柴油;合成木质纤维素基高密度液体烃类燃料和高安定性液体烃类燃料招生信息工业催化硕士1人/年招生专业081705-工业催化招生方向生物质催化转化教育背景2009- ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-28中国科学院大学研究生导师教师师资介绍简介-李广东
基本信息李广东男硕导中国科学院地理科学与资源研究所电子邮件:ligd@igsnrr.ac.cn通信地址:北京市朝阳区大屯路甲11号邮政编码:部门/实验室:城市地理与城市发展研究室研究领域招生信息招生专业070502-人文地理学招生方向城市地理学教育背景2011-09--2014-07中国科学院大学博士研究生2008-09--2011-07西南大学硕士研究生学历学位工作经历工作简历2016-12~现 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-28中国科学院大学研究生导师教师师资介绍简介-李广慈
基本信息李广慈男硕导中国科学院青岛生物能源与过程研究所电子邮件:ligc@qibebt.ac.cn通信地址:山东省青岛市崂山区松岭路189号邮政编码:研究领域招生信息招生专业081701-化学工程招生方向生物质能源化工;多相催化剂设计开发教育背景2006-09--2012-06中国石油大学(华东)工学博士2002-09--2006-06中南民族大学工学学士学历学位工作经历工作简历2018-01~现 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-28中国科学院大学研究生导师教师师资介绍简介-李光勋
基本信息李光勋男硕导中国科学院成都生物研究所电子邮件:ligx@cib.ac.cn通信地址:成都市高新区科园南路93号成都生物所邮政编码:研究领域生物启发的有机合成方法学研究,有机小分子不对称催化研究,活性天然产物的结构改造,药物合成工艺研究。招生信息招生专业100701-药物化学070303-有机化学招生方向药物化学,有机合成方法学,不对称催化教育背景2008-09--中科院成都生物所博士200 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-28中国科学院大学研究生导师教师师资介绍简介-李光元
基本信息李光元男博导中国科学院深圳先进技术研究院电子邮件:gy.li@siat.ac.cn通信地址:广东省深圳市南山区西丽大学城中科院深圳先进技术研究院光电中心邮政编码:部门/实验室:集成所研究方向纳米光学(等离激元、超构材料、超表面、非线性纳米光学,光传感)太赫兹技术(超表面、成像、传感)招生信息招生专业081104-模式识别与智能系统招生方向纳米光传感,太赫兹技术教育背景2004-09--20 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-28中国科学院大学研究生导师教师师资介绍简介-李光鑫
基本信息李光鑫男硕导长春光学精密机械与物理研究所办公电话:电子邮件:liguangxin@126.com通信地址:长春市东南湖大路3888号中科院长春光机所科研一处邮政编码:130033研究领域空间光学成像数字图像处理图像融合招生信息招生专业光学工程招生方向空间光学成像,数字图像处理出版信息发表论文1.李光鑫,徐抒岩,吴伟平.Piella像素级多分辨率图像融合框架的扩展及其算法.光学精密工程,20 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-28中国科学院大学研究生导师教师师资介绍简介-李光明
基本信息李光明男硕导中国科学院地质与地球物理研究所电子邮件:lgm@mail.iggcas.ac.cn通信地址:北京市昌平区天通苑东三区55号楼2单元501邮政编码:999999研究领域招生信息招生专业070901-矿物学、岩石学、矿床学招生方向矿床学教育背景1990-10--1996-06莫斯科地质勘探学院博士1989-09--1990-10中国科学院地球化学研究所肄业1982-09--1986 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-28中国科学院大学研究生导师教师师资介绍简介-李光林
基本信息李光林男博导中国科学院深圳先进技术研究院电子邮件:gl.li@siat.ac.cn通信地址:深圳市南山区西丽深圳大学城学苑大道1068号邮政编码:518055部门/实验室:集成所研究领域招生信息招生专业081104-模式识别与智能系统083100-生物医学工程085208-电子与通信工程招生方向神经康复工程,神经机器接口,智能康复机器人神经功能重建及神经信息解码人机智能交互及智能康复系统教 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-28中国科学院大学研究生导师教师师资介绍简介-李光
基本信息李光男硕导力学研究所电子邮件:lghit@imech.ac.cn通信地址:北京市海淀区北四环西路15号邮政编码:100190研究领域低温等离子体与材料表面改性:包括(HiPIMS)磁控溅射、真空阴极弧、离子注入和等离子体电解氧化等技术等离子体检测与成膜控制功能薄膜复合涂层设计与优化涂层摩擦学招生信息招生专业080104-工程力学080502-材料学招生方向材料工艺力学表面工程教育背景学历哈 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-28中国科学院大学研究生导师教师师资介绍简介-李光杰
基本信息李光杰男硕导中国科学院南京土壤研究所电子邮件:liguangjie2009@163.com通信地址:南京市玄武区北京东路71号邮政编码:研究领域招生信息招生专业090302-植物营养学招生方向植物营养-分子根际教育背景2009-09--2013-01中国科学院南京土壤研究所博士学位学历学位工作经历工作简历2013-01~现在,中国科学院南京土壤研究所,助理研究员,副研究员2009-09~2 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-28