1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、出版信息7、科研活动8、合作情况9、指导学生
基本信息
李广元 男 硕导 软件研究所
电子邮件：ligy@ios.ac.cn
通信地址：中科院软件所计算机科学国家重点实验室
邮政编码：100190


研究领域实时系统，模型检测，时序逻辑，形式化方法
招生信息

学科专业 计算机软件与理论
计算机技术

教育背景

学历 中科院软件所 1998** 研究生毕业


学位 中科院软件所 1998** 工学博士学位

工作经历

工作简历

社会兼职
教授课程
专利与奖励

奖励信息

专利成果
出版信息

发表论文 （1） Efficient controller synthesis for a fragment of MTL0,∞，Acta Informatica，2014，第4作者
（2） Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata，ACSD 2014，2014，第4作者
（3） Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic，LPAR-18, LNCS 7180,Springer，2012，第5作者
（4） Rewrite-Based Statistical Model Checking of WMTL，RV 2012, LNCS 7687, Springer，2012，第5作者
（5） Checking Timed Büchi Automata Emptiness Using LU-Abstractions，FORMATS 2009, LNCS 5813, Springer，2009，第1作者


发表著作
科研活动

科研项目 （1） 信息物理融合系统的基础研究，参与，国家级，2014-01--2016-12


参与会议
合作情况

项目协作单位
指导学生已指导学生

张文亮 硕士研究生 081202-计算机软件与理论

彭云全 硕士研究生 081202-计算机软件与理论

魏绪凯 硕士研究生 081202-计算机软件与理论

部德振 硕士研究生 081202-计算机软件与理论

王勤思 硕士研究生 081202-计算机软件与理论

信贤卫 硕士研究生 081202-计算机软件与理论

喻灵婧 硕士研究生 085211-计算机技术

现指导学生

景丽莎 硕士研究生 081202-计算机软件与理论