烤猫:修订历史

差异选择:选中要对比的版本的单选按钮,按Enter键或下方的按钮。
说明:(当前)=与最后版本之间的差异,(之前)=与上一版本之间的差异,=小编辑。

2024年5月21日 (星期二)

  • 当前之前 12:192024年5月21日 (二) 12:19172.105.210.184 留言 1,352字节 +1,352 创建页面,内容为“烤猫,原名蒋信予,1986年生于湖南邵阳。 2001年,15岁的蒋信予毕业于邵阳市第一中学,以全国排名第11的成绩(另一个说法是全湖南第11名)考进位于合肥的中国科学技术大学少年班。 2009年,23岁的蒋信予以论文《用形式化方法构建安全的线程机制》,获得计算机硕士学位,并进入中科大-耶鲁高可信软件研究中心的计算机系博士班。 2011年,他到…” 标签可视化编辑