姓名：王静 性别：女 E-mail：jingwang@uestc.edu.cn
系别： 职称： 职务：
学历：博士 电话：
研究方向：信息安全技术，形式验证分析
教育背景
2002年毕业于日本奈良教育大学综合科学文化专业，获学士学位；
2004年毕业于日本奈良先端科学技术大学信息处理学专业，获硕士学位；2007年3月毕业于奈良先端科学技术大学信息处理学专业，获博士学位。
教学情况
科研情况
参与了日本文部省《大型软件开发的安全管理的研究》，NEC的《移动环境下的信赖管理的研究》等科研项目。
获奖情况
备注