张南

个人信息:Personal Information

教授 博士生导师

性别:女

毕业院校:西安电子科技大学

学位:博士学位

在职信息:在岗

所在单位:计算机科学与技术学院

学科:计算机科学与技术

电子邮箱:

扫描关注

个人简介:Personal Profile

主要从事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会员、中国人工智能学会会员等职务。


  • 教育经历Education Background
  • 工作经历Work Experience
  • 研究方向Research Focus
  • 社会兼职Social Affiliations
  • 程序和芯片设计的形式化验证(Formal Verification):时序逻辑(Temporal Logic)时序逻辑程序设计(Temporal Logic Programming)定理证明(Theorem Proving)模型检测(Model Checking)运行时验证(Runtime Verification)
  • FPGA-EDA软件开发:逻辑综合,工艺映射,打包,布局布线,位流生成
  • 智能规划(AI Planning)与自动推理(Automated Reasoning)
    • 中国计算机学会高级会员

团队成员Research Group

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

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

陕西省重点科技创新团队