中国科学院软件研究所李广元 男 研究员 硕导
作者：科大科院考研网 发表时间：2019-12-26 来源：研招办
科院考研推荐链接：
研究领域
实时系统，模型检测，时序逻辑，形式化方法
招生信息
学科专业
081202-计算机软件与理论
085211-计算机技术
085211-计算机技术
工作经历
社会兼职
专利与奖励
奖励信息
（1） 逻辑与计算复杂性, 一等奖, 省级, 1992
专利成果
出版信息
发表著作
科研活动
科研项目
（ 1 ） 信息物理融合系统
