孙慧，2004年毕业于山东大学数学与系统科学学院，获得学士学位。同年被免试推荐到南开大学作为硕博连读研究生，跟随陈永川教授学习。2007年提前留校工作，转为南开大学在职博士研究生。2009年获得博士学位。

现在主要研究方向：组合恒等式的机器证明。