张南教师主页

个人简介：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） 西安市软件可信认证关键技术重点实验室 陕西省重点科技创新团队

织梦内容管理系统