<p style="text-indent:2em;">1985年6月，毕业于 [[ 南京大学 ]] 数理逻辑专业，获理学学士学位。