John中心2023年度盘点！请查收来自John Hopcroft的新年祝福和老师们的新年展望
斗转星移，春去冬来，又是一年。
2023，我们践行更加积极、开放、有效的人才引进政策，面向世界汇聚一流人才，让人才的创造活力竞相迸发、聪明才智充分涌流。
2023，我们见证了科研工作者潜心科研，攻克线性老虎机、程序验证、编辑器验证等难题，在不断攻坚克难中，助力我国科技创新发展。
2023，我们见证了众多学子心怀科学梦想，勤奋学习，刻苦钻研，获得国家、学校以及企业激励。
2023，我们见证了John Hopcroft教授以国际主义的白求恩精神，甘为人梯、奖掖后学，大力托举青年人才成长。
旧的一页悄然翻篇，新的一篇如约到来。恰逢岁末，让我们一同回顾2023年走过的不寻常的路。
2023年，中心不断加大优秀人才引进力度、规范人才引进制度、提高人才引进质量，借助教师精准推荐、国外招聘网站发布等多渠道引才方式，持续引进身具潜力的青年学者。本年度，收到40+名来自国际一流大学博士后和应届博士生的积极响应，举办6场面试报告会，迎来两名优秀的青年学者加盟。
吴亚东于上海交通大学密西根学院获得本科和硕士学位，于卡尔加里大学获得博士学位，师从加拿大皇家科学院院士，博士毕业后在香港大学担任博士后。研究方向是量子信息和机器学习在量子信息中的应用，已在Nature Communications和PRL等顶级期刊上发表数篇论文。
#展望2024# 很开心回到母校加入约翰·霍普克罗夫特计算机科学中心担任长聘教轨副教授，希望2024年取得更加丰硕的研究成果的同时，与母校的同学们一起学习成长。
冯宇于2023年获得罗切斯特大学计算机科学博士。研究方向包括内传感器计算，端部视觉计算以及算法与硬件的协同设计等，致力于在移动端让人和机器能更好、更快、更高效的感知外部世界。
#展望2024# 非常高兴能够加入John中心！非常期待与中心老师们的合作，为上海交大的发展贡献自己的力量！也希望能将我所学到的知识传递给学生们，与他们共同成长！
新增全职博士后2人
王春雪、张绪成
在加大引进国内外高水平师资力量的同时，中心持续注重对现有中青年教师的培育。
2023年，中心主任John Hopcroft多次与中心教师面对面谈话，给出职业发展改进意见。中心还专门邀请了25位具有丰富经验和深厚专业知识的校内外计算机领域大专家、兄弟高校院长/副校长来我校同中心教师们现场交流，对青年教师的工作提出建议和意见。
2023年，中心人才培育工作捷报频传。张伟楠、梁诗宇入选国家级青年人才计划；9人入选上海市白玉兰人才计划；9位助理教授成功晋升长聘教轨副教授（晋升率100%）；王春雪入选上海市“超级博士后”。
#展望2024# 2023年，我所在的领域掀起了大模型革命，我感到这是一个最好的时代，也是一个最具挑战的时代。2024年，自我变革工作方式，在新时代下努力做出问心无愧的作品。
——张伟楠
#展望2024# 我对2023年充满感激，同时也对2024年充满了期待和憧憬。在新的一年中，我将继续探索集成光子学领域的前沿，为学生培养和科技进步做出自己的一份贡献。
——纪幸辰“把本科教学当成重中之重，把优秀的人培养得更优秀”，这是中心成立的初衷。中心积极探索教书育人新模式，着力提升教学水平和质量，鼓励优秀年轻学者任教。
2023年，在评教结果公布的52门本科课程中，23门课程获得A档评教。在交大，获得本科课程评教A0及A1档次的教师通常需排名在前20%。
曹钦翔《程序语言理论》获得上海交通大学2023年本科立项教材；张伟楠、杨宽分别荣获电院第七届青年教师教学竞赛一等奖和优秀奖；陶表帅、张伟楠指导本科生获得2023届优异学士学位论文（全校Top 1%）；张伟楠出版《动手学机器学习》获人民邮电出版社异步社区2023年度畅销影响力作者奖和畅销新书奖。
明年把课程再优化一下，把课件系统地整理一下，希望能让更多学生有更大的收获。
——江波
为建设 randomness in computer science 的课程体系继续努力！
——张驰豪
2023年在学生培养以及教学方面取得的成果总体来说还算不错；期待在2024年中进一步优化课程教学，积累学生培养的更多经验，努力让学生更加独立的完成学习、科研工作。
——陶表帅
HAPPY TEACHER'S DAY
2023年，中心聚焦学生发展，优化研究生培养方案，结出累累硕果。中心3位研究生获得国家奖学金；一名博士毕业生拿到哈尔滨工业大学助理教授职位；谢知晖（导师李帅）获腾讯犀牛鸟优秀学生奖；刘明桓（导师张伟楠）获字节跳动奖学金。
还记得年初的时候有幸用上了发布不久的ChatGPT，当时并没有意识到生成式人工智能在一年内会如此蓬勃发展，改变了许许多多的游戏规则。在新的一年里，希望能继续拥抱新技术，也希望中心能够越来越好！
——李明杰（中心2021级硕士生）
在过去的一年中，我深刻认识到把握每一个机会的重要性，以及早行动带来的积极影响。面向新的一年，我期待能更加积极主动地把握每一次机会，不再错过任何学习和进步的可能。
——孔芳（中心2020级博士生）
HAPPY NEW YEAR
经过7年的发展，中心凝练形成了人工智能、理论计算机、体系架构、网络通讯4个稳定成熟的研究方向。2023年，中心科研影响力持续攀升，尤其在理论计算机研究方向表现突出。
在最新CS Rankings理论计算机领域排名中，综合近5年（2019-2023）数据，上海交大位居亚洲第一；近10年(2014-2023) 数据，上海交大位居亚洲第二、中国第一，中心的贡献率均超50%！
2023年主要达成了已有研究方向一个里程碑（模块化编译验证），希望2024年在这个基础上开辟新研究思路，把研究的道路越走越宽。
——汪宇霆
HAPPY TEACHER'S DAY
2023年，中心科研工作数质并进，承担国家科研项目能力显著提升，高水平学术论文发展势头强劲，科研创新能力持续增强。
2023年，新增国家自然科学基金立项8项。截至目前，中心教师全部获国家基金委资助。
2023年，中心教师多项科研成果获得国际、国家及上海市奖励。四位教师入选2023年全球前2%顶尖科学家榜单；张伟楠入选2022爱思唯尔“中国高被引学者榜单”（全校仅5名学者入选该榜单“计算机科学与技术”学科）；金梦获2023年ACM上海新星奖（上海市仅评选出2名）；张宇昊获中国运筹学会青年科技提名奖；张伟楠获字节跳动奖学金计划最佳导师奖；赵世振获华为优秀技术合作项目成果奖；陈晨获微软亚洲研究院铸星学者；潘烨获2022年度“CCF-腾讯犀牛鸟基金”优秀奖等。
潘烨获“CCF-腾讯犀牛鸟基金”优秀奖
陈晨获MSRA铸星学者
本年度，中心教师共发表高水平论文100余篇，其中李帅团队发表交大首篇COLT（交大为唯一完成单位）；曹钦翔团队和汪宇霆团队在POPL上发文两篇，大陆仅四篇（2020-2024五届内仅8篇）。
❂ 李帅团队发表线性老虎机问题研究成果
7月12日，中心李帅副教授团队在《Annual Conference on Learning Theory》（COLT 2023）上发表题为“Best-of-three-worlds Analysis for Linear Bandits with Follow-the-regularized-leader Algorithm”的线性老虎机问题研究成果。论文首次证明了follow-the-regularized-leader（FTRL）类型的算法可以使得线性老虎机问题在随机和对抗环境下都能取得（近似）最优累积懊悔的理论保证。这是上海交通大学首次在COLT上发表论文，且为唯一完成单位。
曹钦翔团队、汪宇霆团队发表程序验证与编译器验证研究成果 ❂
11月9日，中心曹钦翔副教授团队与汪宇霆副教授团队分别在程序验证与编译器验证的研究中取得重要进展，研究成果“VST-A: A Foundationally Sound Annotation Verifier和“Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules”均被《Principles of Programming Languages》（POPL 2024）录用。截至目前，中国大陆高校和科研机构作为第一完成单位发表的POPL论文数量极少，本届POPL正式发表的论文93篇，其中大陆论文仅4篇（2020-2024五届内仅8篇）。
《VST-A: A Foundationally Sound Annotation Verifier》
《Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules》
#展望2024# 博观而约取，厚积而薄发；欲穷千里目，更上一层楼。
——李帅
#展望2024# 2023年完成发表的VST-A程序验证研究工作离不开中心一直以来支持我们做理论研究、做基础研究。期望明年能在程序验证研究方面再进一步，提出能解决当前关键问题的新理论，并通过我们自己的新验证工具落地应用。
——曹钦翔2023年7月，中心作为承办单位之一，支持学校成功举办了“上海交通大学-清华大学-北京大学2023年计算机科学‘成长伙伴’国际暑期学校”。暑校从7月4日开营到7月14日结营，汇聚了12所世界一流高校的85位计算机方向优秀学生，广受好评。这是交大校园首次汇集三位图灵奖得主，积极发挥了大师引领作用。
2023年，John Hopcroft教授在华半年，积极参与我校计算机学科工作，带领中心教师访问校内外单位，推动与各单位开展合作。
John访问上科大
John带队访问上海中学
John带队访问上交附中
John带队访问西湖大学
12月15日，中心主任John Hopcroft、执行主任郁昱带队一行18人受邀访问位于杭州云谷园区的阿里云智能集团。
John同阿里巴巴副总裁李飞飞就“计算与云计算”、“AI技术发展”、“AI时代对人的要求”以及“AI时代下的教育变革”四个方向答阿里云青年计算人提出的“未来计算10问”。在面向计算的未来主题报告环节，中心教师们就神经网络可解释性及其在大模型上的应用、无线感知、代码鉴权、大模型指纹等前沿话题进行主题分享与探讨。
福HELLO 2024
点击下方空白区域查看
John Hopcroft的新年祝福！
▼
With a successful 2023 as a tail wind, I want to wish the faculty continued satisfaction in engaging students, inside and outside of class, personal feelings of growth as result of your hard work, and staying energy and enthusiasm for the future.
To students, become a team with your teachers and match their hard work and enthusiasm with your own vitality.Together you will have a fantastic new year.
Best wishes for an exciting and fulfilling 2024!