华东师范大学博士生2013-2017。 专业：符号和数值计算 实验室：上海市可信计算重点实验室 湖北大学硕士学位2010-2013 基础数学 湖北师范大学学士学位2006-2010 数学与应用数学

[1]用于非线性混合系统安全性验证的Darboux型屏障证书，曾霞，王林，杨正峰，陈鑫和王丽蕾，ACM / IEEE嵌入式软件大会（EMSOFT），第11条，第10页，2016年。 [2]用于通过保守逼近验证非线性混合系统的线性不变生成，曾霞，林旺，杨正峰和曾振兵，中国科学信息科学，60（3），2017。