基本信息
张南 教授 博士生导师 硕士生导师
计算机科学与技术学院
联系方式
电子邮箱：nanzhang@xidian.edu.cn
个人简介
新版个人主页：西电教师个人主页系统 张南 中文主页 (xidian.edu.cn)
先后在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余篇。担任中国计算机学会高级会员、CCF形式化方法专委会委员、IEEE会员、中国人工智能学会会员等职务。
科研团队
计算理论与技术研究所（Institute of Computing Theory and Technology, ICTT）
西安市软件可信认证关键技术重点实验室
陕西省重点科技创新团队
主要研究方向
- 程序和芯片设计的形式化验证（Formal Verification）：时序逻辑（Temporal Logic）时序逻辑程序设计（Temporal Logic Programming）定理证明（Theorem Proving）模型检测（Model Checking）运行时验证（Runtime Verification）
- FPGA-EDA软件开发：逻辑综合，工艺映射，打包，布局布线，位流生成
- 智能规划（AI Planning）与自动推理（Automated Reasoning）