武汉大学博士、美国德克萨斯大学、堪萨斯大学访问学者,国家语委语言智能研究中心主任,中国人工智能学会语言智能专委会主任,国家社科基金重大项目首席专家,汉语作文智能批改In课堂创始人,首都师范大学教授、博导、原副校长。
主要从事形式句法与逻辑语义、数理逻辑与语言智能研究。率先提出人工智能范畴的“语言智能”概念,创建国内首个语言智能博士点,。主持国家重大项目、重点项目、北京市高精尖创新项目、重点项目等10余项,发表论文130余篇,专著6部,获专利和软件著作权40余项。获北京市科学技术奖二等奖、北京市优秀教学成果一等奖、国家优秀教学成果二等奖、2017科学中国人年度人物奖、2018中国产学研合作促进奖。