 |
个人信息：Personal Information
教授 博士生导师 研究生导师
性别：女
毕业院校：西安电子科技大学
学位：博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
学科：计算机科学与技术
电子邮箱：
其他联系方式Other Contact Information
邮箱 :
扫描关注
个人简介：Personal Profile
先后在2006、2012年，于西安电子科技大学计算机学院获得工学学士、工学博士学位。
主要从事EDA软件，可信软件，规划与智能推理等领域的研究工作。
以第一/通讯作者在国际/国内期刊Theoretical Computer Science，IEEE Transactions on Reliability, IEEE Transactions on Intelligent Transportation Systems, Journal of Combinatorial Optimization, Mobile Networks and Applications, 中国科学-信息科学，软件学报等发表论文30余篇。
主持国家自然科学基金青年基金项目1项，面上项目1项。作为骨干成员参与多项国家自然科学基金重点项目、总装十一五和十二五预研项目，973项目等。
担任中国计算机学会高级会员、CCF形式化方法专委会委员、IEEE会员、中国人工智能学会会员等职务。
团队成员Research Group
计算理论与技术研究所（Institute of Computing Theory and Technology, ICTT）
西安市软件可信认证关键技术重点实验室
陕西省重点科技创新团队