导出分析报告
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号 违法和不良信息举报中心