我校计算机科学与技术学院梁红瑾博士被美国麻省理工学院评选为2015年度电子与计算机领域“学术新星”（Rising Stars），并受邀于11月8日-10日赴麻省理工学院参加“学术新星”研讨会。
“学术新星”的评选从2012年开始，用于发掘世界上年轻优秀的女性电子与计算机科学家与工程师，支持她们发展学术生涯。2012年和2013年的“学术新星”评选由麻省理工学院主办，2014年由加州伯克利大学主办。今年的“学术新星”继续由麻省理工学院主办，共有62位女性获选，其中在读博士生40多位，其余为近几年内毕业、学术生涯尚未稳定的博士后或研究员。获选女性分别来自美国、加拿大、英国、瑞士等国家，仅梁红瑾博士一人来自亚洲。
“学术新星”女性学术生涯研讨会重点关注寻找学术工作时期及学术生涯初期的困难和经验。今年的研讨会中，“学术新星”们首先通过简短的学术报告或海报的形式介绍了自己的研究工作。之后，麻省理工学院电子与计算机系的聘用工作委员会成员讲解了聘用工作的流程和要求，年轻教授们分享了自己的工作经历，资深教授们阐述了领导才能的作用和意义。此外，研讨会还邀请了多位来自美国其他一流大学的教授对研究经历陈述、教学经历陈述、推荐信等申请材料的写作进行指导。麻省理工学院的女教授们与“学术新星”们一起进餐，传授经验，解答疑惑。
会议结束后，梁红瑾博士应邀访问麻省理工学院电子与计算机系，做了题为“公平调度下验证并发对象的程序逻辑”的学术报告，并与电子与计算机系的教授和学生进行了深入的学术交流。
梁红瑾博士2009年本科毕业于我校少年班，推免进入计算机学院攻读博士学位，2014年博士毕业后留校工作，在计算机学院担任特任副研究员，研究方向为程序验证与高可信软件。此前，梁红瑾等曾多次在计算机领域的顶级会议及期刊上发表论文，并于2015年获中科院优秀博士论文奖。
(计算机学院)
