个人简介

李广元男研究员硕导中国科学院软件研究所 学科专业 081202-计算机软件与理论 085211-计算机技术 奖励信息 （1）逻辑与计算复杂性,一等奖,省级,1992 科研项目 （1）信息物理融合系统的基础研究,参与,国家级,2014-01--2016-12 （2）度量区间时序逻辑MITL的模型检测与控制器合成,主持,国家级,2015-01--2018-12 （3）大规模概率并发实时系统模型检验,参与,国家级,2016-01--2020-12