基本信息

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

研究领域

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

招生信息

   
学科专业
083500-软件工程
招生方向
并发系统分析与验证
实时并发系统的分析与验证

工作经历

   
工作简历
2001-07~现在, 中国科学院软件研究所, 副研究员、研究员
1993-04~1998-02,贵州大学计算机理论研究所, 教师、副教授
1990-09~1993-04,陕西师范大学计算机系, 教师
1980-10~1985-08,陕西省乾县阳洪中学, 教师

教授课程

理论计算机科学基础

专利与奖励

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

出版信息

   

科研活动

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

个人主页链接

http://lcs.ios.ac.cn/~ligy/