北京师范大学(Beijing Normal University)简称“北师大”，由中华人民共和国教育部直属，中央直管副部级建制，位列“211工程”、“985工程”，入选国家“珠峰计划”、“2011计划”、“111计划”、“卓越法律人才教育培养计划”、“卓越教师培养计划”，设有研究生院，是一所以教师教育、教育科学和文理基础学科为主要特色的综合性全国重点大学。
北京师范大学的前身是1902年创立的京师大学堂师范馆;1908年，改称京师优级师范学堂，独立设校。1912年，改名为北京高等师范学校。1923年，学校更名为北京师范大学，成为中国历史上第一所师范大学。1931年，北平女子师范大学并入北京师范大学。1950年，毛主席为北京师范大学亲笔题写校名;1952年，辅仁大学并入北京师范大学。2002年百年校庆之际，中华人民共和国教育部和北京市决定重点共建北京师范大学;2002年5月，北京市第九次党代会将北京师范大学列入支持建设的世界一流大学的行列。
| 研 究 方 向 | 研 究 内 容 |
| 逻辑与计算机基础理论 | 研究计算机科学的基础理论包括理论计算机系统的研究，及其在实时计算、并行计算、程序验证等方面的应用，数理逻辑、模型论、自动机理论、数据库理论、计算复杂性理论等方面的研究，及其对计算机的应用，同时研究一些数学问题的判定和计算复杂性。 |
| 人工神经网络 | 从数学的角度研究人工神经网络，揭示人工神经网络的数学本质、神经网络隐层搭的意义、权值、神经元之间的连接方面的问题及有关的数学结构、数学方法的图形表示；依据神经元的硬件实现，及有关的数学理论和数学方法如何设计用于神经网络计算机的芯片问题。 |
| 数学软件与计算机代数 | 将计算机技术与数学研究有机地结合，为数学研究提供新的思想和方法，研究一些数论函数的多项式，非线性代数方程的求解问题以及交换代数，代数、几何的某些理论的机械化方法和专用软件设计，连续计算的复杂性和小波理论及其应用。 |
| 计算机辅助教学软件的研究和开发 | 研究如何将机器证明、机器判证等方面引入中学以上数学教学软件，使课件具有高层次的交互能力和智能，研究与数学教育软件相关的复杂性、可行性和优化问题，研究在数学教育的现代化进程中如何发挥计算机辅助教育的作用及有关的规律和可能遇到的问题。 |