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