张玉平_北京航空航天大学教授

您当前浏览器版本过低，为了不影响您的使用，建议您使用最新的谷歌浏览器、火狐浏览器、 360浏览器，更换浏览器后使用更流畅！（注意！双核浏览器请切换为极速模式）

工信部人工智能赋能中小企业典型应用场景案例（科研领域）

张玉平
所属院校: 北京航空航天大学
所属院系: 计算机学院
职称: 教授
导师类型:
招生专业:
研究领域: 在纯粹理论研究方面，致力于独立性及可判定性的研究，使用数理逻辑的模型论工具，研究理论计算科学中所关注的某些逻辑系统和一些纯粹数学问题的内在逻辑性质。

个人简介

张玉平，男，生于 1966 年 11 月，教授。 1993 年于北京师范大学数学系获得基础数学博士学位，攻读博士学位期间主要从事纯粹逻辑研究，专注于模型论的稳定性理论分析。同年进入北航计算机学院博士后流动站，1995 年出站并留校，工作于北航计算机学院软件开发环境国家重点实验室。先后参加两项 973 项目，将逻辑方法应用于计算机科学前沿研究，特别是形式理论的极限研究；近期参加一项 863 项目，将形式证明及反证技术应用于设计软件测试有效算法。多年从事本科生《离散数学》课程的数理逻辑部分及研究生的《高级数理逻辑》课程的教学工作，努力探索一套适合于计算机科学的数理逻辑教学体系。

以上内容源自网络公开信息，仅作学术交流之目的，非为商业用途。
如若涉及侵权事宜，请及时与我们联络，我们将即刻修正或删除相关内容。