梁常建，男，1981年，河南省鹿邑县人，中共党员，讲师。2018年12月毕业于陕西师范大学基础数学专业获得理学博士学位。

主要研究方向：形式化方法

代表性论文：

1.梁常建，李永明. 广义可能性计算树逻辑的模型检测问题, 电子学报，2017，45(11),2641-2648.

2.梁常建，李永明. 具有模糊时态的广义可能性线性时序逻辑的模型检测, 电子学报，2017，45(12),2971-2977.