登录    注册    忘记密码

高悦翔 收藏

导出分析报告

2000.9~2003.7:重庆大学计算机学院计算机应用专业,研究生,获硕士学位 2006.3~2013.12:西南交通大学信息科学与技术学院信息安全专业,...   详细>>

研究主题:串空间    KAILAR逻辑    形式化分析    公平    可追究性    

研究学科:自动化类    电子信息类    

被引量:29H指数:3

2000.9~2003.7:重庆大学计算机学院计算机应用专业,研究生,获硕士学位

2006.3~2013.12:西南交通大学信息科学与技术学院信息安全专业,研究生,获博士士学位

1997.7~1998.7:西藏珠峰工业股份有限公司,网络管理

1998.7~2000.7:四川西辰软件公司,软件开发

2003.7~至今:四川师范大学计算机科学学院,专任教师

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心