基本信息
李广元  男  硕导  中国科学院软件研究所
电子邮件: 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

合作情况

   
项目协作单位