副教授

主要教育经历

2001年－2005年 北京工业大学

2005年－2006年 英国利物浦大学

2007年－2011年 英国利物浦大学（计算机科学系）（博士学位）

主要研究方向

计算机逻辑（时序逻辑），机器学习（分类算法及强化学习），机器人智能（ROS系统开发）

主要讲授课程

• 《程序设计语言 Python》
• 《面向对象程序设计JAVA》
• 《电子商务系统分析与设计》
• 《计算机建模》（人工智能领域）
• 《专业外语》（计算机科学专业及信管专业）

主要科研成果

• 最具代表性论文（第一作者）：A Resolution Calculus for the Branching-Time Temporal Logic CTL, ACM Transactions on Computational Logic（SCI一区）
• 最具代表性会议（第一作者及讲演者）：A Refined Resolution Calculus for CTL, International Conference on Automated Deduction （CADE本领域顶会）
• 最具代表性项目（第一负责人）：主持国家自然科学基金项目（项目号：61303018，项目名称：基于Resolution算法的交互时态逻辑自动验证机）并已顺利结项
• 最具代表性专著（独立作者）：《Resolution Calculi for Discrete Temporal Logics》
• 最具代表性软件（独立开发）：自动定理证明器CTL-RP （Linux下C语言开发）被帝国理工大学学者评测为本领域第二（共7个功能相似的软件）

主要获奖成果及荣誉

• 获得英国利物浦大学的博士全额奖学金及生活费（共四年）
• 首都经济贸易大学中青年骨干教师
• 首都经济贸易大学2016年度优秀班主任

社会兼职

被聘为国家自然科学基金的通讯评审专家，历年来评审了30个左右的国自然面上项目申请书

附加信息

通信地址：北京市张家路口121号首都经济贸易大学管理工程学院，100070.

联系电话：无

电子邮箱：zhang10897110@163.com