姓名：Zhang Yuping 职称：Professor 座机： 邮编💂🏼‍♂️： 办公地址： 电子邮箱⛴： 个人主页🙇🏻‍♂️：

张玉平，男，生于1966年11月，教授。

1993年于北京师范大学数学系获得基础数学博士学位，攻读博士学位期间主要从事纯粹逻辑研究🧖🏿‍♂️，专注于模型论的稳定性理论分析🔃。同年进入北航凯发娱乐博士后流动站，1995年出站并留校，工作于北航凯发娱乐软件开发环境国家重点实验室。先后参加两项973项目，将逻辑方法应用于计算机科学前沿研究🧘🏼，特别是形式理论的极限研究；近期参加一项863项目，将形式证明及反证技术应用于设计软件测试有效算法。在纯粹理论研究方面☆，致力于独立性及可判定性的研究，使用数理逻辑的模型论工具，研究理论计算科学中所关注的某些逻辑系统和一些纯粹数学问题的内在逻辑性质。多年从事本科生《离散数学》课程的数理逻辑部分及研究生的《高级数理逻辑》课程的教学工作，努力探索一套适合于计算机科学的数理逻辑教学体系。

People

All Teachers

Address:Colleage Road,Haidian District,No.37   Zip code:100191   Email:scse@buaa.edu.cn

Rights Reserved:05004653  @2012-2013  Beihang University School of Computer Science & Engineering

凯发娱乐专业提供：凯发娱乐👨🏿‍💼、凯发平台、凯发代理等服务，提供最新官网平台、地址、注册、登陆、登录、入口、全站、网站、网页、网址、娱乐、手机版、app、下载、欧洲杯、欧冠、nba、世界杯、英超等，界面美观优质完美，安全稳定，服务一流，凯发娱乐欢迎您。 凯发娱乐官网xml地图
凯发娱乐 凯发娱乐 凯发娱乐 凯发娱乐 凯发娱乐 凯发娱乐 凯发娱乐 凯发娱乐 凯发娱乐 凯发娱乐