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