搜索结果: 1-15 共查到“人物 软件理论”相关记录47条 . 查询时间(2.273 秒)
成都信息工程大学计算机学院王铁军副教授(图)
成都信息工程大学计算机学院 王铁军 副教授 软件测试 云计算
2023/12/11
电子科技大学信息与软件工程学院杨霞副教授(图)
杨霞 电子科技大学信息与软件工程学院 副教授 软件形式理论
2021/11/10
杨霞,副教授,博士后。毕业于电子科技大学 计算机科学与技术专业。现任中国电子集团第30研究所的安全操作系统研究方面的特聘专家。具体负责电子科技大学-四川长虹联合实验室、电子科技大学-航天科工二院联合实验室的课题和管理工作。2013年在美国Idaho大学的“美国国家安全实验室”访问学者一年,2014年开始与美国耶鲁大学合作,进行操作系统形式化验证方法和理论的研究。近5年参与国防预研3项、主研国家核高...
电子科技大学信息与软件工程学院张凤荔教授(图)
张凤荔 电子科技大学信息与软件工程学院 教授 软件理论 网络安全
2021/11/10
湖南工学院计算机科学与工程学院任长安教授(图)
湖南工学院计算机科学与工程学院 任长安 教授 群智能优化算法 多目标优化 软件测试
2024/5/7
广西科技师范学院数学与计算机科学学院李洁副教授(图)
广西科技师范学院 数学与计算机科学学院 李洁 副教授 软件设计师
2021/6/1
山东交通学院信息科学与电气工程学院焦忭忭副教授(图)
山东交通学院 信息科学与电气工程学院 焦忭忭 副教授 软件测试
2021/1/22
洛阳理工学院计算机与信息工程学院杨尚森教授(图)
洛阳理工学院 计算机与信息工程学院 杨尚森 教授 软件
2020/12/8
长春工程学院计算机技术与工程学院龚宇辉副教授
长春工程学院 计算机技术与工程学院 龚宇辉 副教授 软件测试
2020/7/13
南京大学吕建院士(图)
南京大学 吕建 院士 软件方法学
2019/10/23