张琛

个人信息:Personal Information

讲师(高校) 硕士生导师

性别:女

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

学历:博士研究生毕业

学位:博士学位

在职信息:在职

所在单位:计算机工程系

所属院系: 计算机科学与技术学院

学科:计算机科学与技术

电子邮箱:

其他联系方式Other Contact Information

通讯/办公地址 :

邮箱 :

扫描关注

个人简介:Personal Profile

张琛,博士,硕士生导师。主要研究方向:软件安全,形式化方法,人工智能。主持国家自然科学基金青年基金项目1项、陕西省重点研发计划项目1项,中央高校基本科研业务费资助项目多项,参与国家自然科学基金和973项目资助的有关时序逻辑和形式验证方面的项目多项。获陕西省科学技术奖一等奖1项,申请发明专利3项,出版教材1部,在国内外重要期刊和会议上发表学术论文多篇。

  • 教育经历Education Background
  • 工作经历Work Experience
  • 研究方向Research Focus
  • 社会兼职Social Affiliations
  • 形式化方法
  • 软件安全
  • 软件工程