学术信息网 西电导航 关于 使用说明 搜索 系统首页 登录 控制面板 收藏 张南的留言板
基本信息

张南  教授  博士生导师  硕士生导师

计算机科学与技术学院

联系方式

电子邮箱:nanzhang@xidian.edu.cn

个人简介

新版个人主页:https://faculty.xidian.edu.cn/ZN5/zh_CN/index.htm

主要从事芯片设计EDA软件,以及软件的可靠性、安全性和智能推理理论与方法等领域的研究工作。以第一/通讯作者在国际/国内期刊Theoretical Computer Science,IEEE Transactions on Reliability, IEEE Transactions on Intelligent Transportation Systems, Journal of Combinatorial Optimization, Mobile Networks and Applications, 中国科学-信息科学,软件学报等发表论文10余篇。担任中国计算机学会高级会员、CCF形式化方法专委会委员、IEEE会员、中国人工智能学会会员等职务。

 

科研团队

计算理论与技术研究所(Institute of Computing Theory and Technology, ICTT)

西安市软件可信认证关键技术重点实验室

陕西省重点科技创新团队

主要研究方向
  1. 程序和芯片设计的形式化验证(Formal Verification):时序逻辑(Temporal Logic)时序逻辑程序设计(Temporal Logic Programming)定理证明(Theorem Proving)模型检测(Model Checking)运行时验证(Runtime Verification)
  2. FPGA-EDA软件开发:逻辑综合,工艺映射,打包,布局布线,位流生成
  3. 智能规划(AI Planning)与自动推理(Automated Reasoning)