姓名 | 张南 | 性别 | 女 |
学校 | 西安电子科技大学 | 部门 | 计算机科学与技术学院 |
学位 | 博士学位 | 学历 | 毕业院校:西安电子科技大学 |
职称 | 教授 | 联系方式 | 【了解更多】 |
邮箱 | 【了解更多】 | 人气 | |
软件产品登记测试 | 软件著作权666元代写全部资料 | 实用新型专利1875代写全部资料 集群智慧云企服 / 知识产权申请大平台 微信客服在线:543646 急速申请 包写包过 办事快、准、稳 |
个人简介: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) 西安市软件可信认证关键技术重点实验室 陕西省重点科技创新团队
织梦内容管理系统