李广元 - 中国科学院大学 - 计算机科学与技术学院

个人简介

学科专业 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

研究领域

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

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