搜索结果: 1-2 共查到“软件理论 电子科技大学信息与软件工程学院”相关记录2条 . 查询时间(0.372 秒)
电子科技大学信息与软件工程学院杨霞副教授（图）
杨霞 电子科技大学信息与软件工程学院 副教授 软件形式理论
2021/11/10
杨霞，副教授，博士后。毕业于电子科技大学 计算机科学与技术专业。现任中国电子集团第30研究所的安全操作系统研究方面的特聘专家。具体负责电子科技大学-四川长虹联合实验室、电子科技大学-航天科工二院联合实验室的课题和管理工作。2013年在美国Idaho大学的“美国国家安全实验室”访问学者一年，2014年开始与美国耶鲁大学合作，进行操作系统形式化验证方法和理论的研究。近5年参与国防预研3项、主研国家核高...
电子科技大学信息与软件工程学院张凤荔教授（图）
张凤荔 电子科技大学信息与软件工程学院 教授 软件理论 网络安全
2021/11/10
张凤荔，1986年研究生毕业于电子科技大学（原成都电讯工程学院）计算机软件专业研究生，2000年至2002年美国依理诺大学芝加哥分校计算机系高级访问学者，在OuriWolfson教授的指导下，从事时间空间数据库移动数据库系统的开发和研究。2003年至2007年在电子科技大学计算机学院在职攻读博士，2007年获得计算机应用技术工学博士学位。现任电子科技大学计算机学院教授，博士生导师。1986年以来主...