2023年10月12日，斯发基斯可信自主系统研究院学术交流会在工学院南楼813报告厅圆满举行。图灵奖获得者、计算机科学与工程系杰出访问教授、斯发基斯可信自主系统研究院院长Joseph Sifakis院士和深圳理工大学计算机科学与控制工程院院长、讲席教授潘毅院士亲临现场给大家带来了两场精彩的学术报告。会议由南方科技大学计算机科学与工程系主任姚新教授主持。研讨会吸引了校内外百余位专家学者和学生前来参会交流，参会师生与与会专家进行了充分研讨，会议现场气氛热烈。 合影姚新讲席教授开场致辞Joseph Sifakis院士作学术报告Joseph Sifakis院士作了题为《Testing System Intelligence》（系统智能测试）的报告。报告中，Joseph Sifakis院士首先强调了智能的定义和测试的重要性，如果不清楚什么是智能，我们就无法提出关于智能如何运行的理论。Joseph Sifakis院士认为今天我们只实现了弱人工智能，它为我们提供构建智能系统的基础要素。信息通讯领域技术（ICT）和AI之间的加速融合会导致自主系统的产生，这将是从弱人工智能跨越到通用人工智能的一大步，自主系统将超越机器学习系统。自主系统的实现不仅受到不可信的AI系统的阻碍，也面临着系统工程方面的挑战。Joseph Sifakis院士认为我们有两个重要的工作方向，一个是智能系统的混合设计，将基于模型和基于数据的组件集成到相同的架构中；另一个是构建从单个智能体智慧到集体智慧的系统。最后，Joseph Sifakis院士强调我们应该承认智能系统需要严格的验证方法，并努力以清晰、系统的方式克服当前的局限性，并开发新的基础理论和方法。潘毅院士作学术报告潘毅院士发表题为《人工智能和GPT赋能生物医药:药物筛选与药物生成》的演讲，深入浅出地向现场人员阐述了人工智能在生物医药中的重要作用和价值。报告中，潘毅院士系统介绍了人工智能在新药研发中的应用领域和现状，分享了人工智能在药物设计和药物筛选中的典型应用案例，梳理了GPT方法促进药物生成、元宇宙新药测试、人工智能助力药物重定位等前沿研究方向。现场问答互动两位院士的精彩学术报告，为与会者带来了启发和思考，现场踊跃提问，开放交流，为学者提供了一个与全球顶尖科学家面对面交流与研讨的契机。演讲嘉宾介绍Joseph Sifakis 院士南方科技大学计算机科学与工程系杰出访问教授；斯发基斯可信自主系统研究院院长；计算机科学与工程系图灵班班主任图灵奖获得者中国科学院外籍院士法国科学院院士法国国家工程院院士欧洲科学院院士美国艺术与科学院院士美国国家工程院院士Joseph Sifakis 院士的主要研究领域是模型检测及嵌入式系统设计与验证，是自主系统领域专家，世界安全计算机系统发展重要贡献者，创立了在嵌入式系统里具有领先地位的Verimag实验室。2007年被授予计算机界最高奖“图灵奖”。潘毅院士深圳理工大学计算机科学与控制工程院院长、讲席教授；美国佐治亚州立大学州校董荣休教授美国医学与生物工程院院士俄罗斯工程院外籍院士乌克兰国家工程院外籍院士欧洲科学与艺术院院士欧洲自然科学院院士英国皇家公共卫生院院士潘毅教授1977年以江苏省理科状元考入清华大学计算机科学与工程系，1982年和1984年分别获得清华大学工学学士学位和硕土学位，1991年获得美国匹兹堡大学计算机科学博士学位。潘毅教授的主要研究领域是以云计算、大数据分析、人工智能、深度学习等为工具，进行生物信息和医疗信息的研究。在此领域已发表300多篇SCI期刊学术论文，其中100多篇发表在顶尖的IEEE/ACM 学术期刊上;另在国际学术会议录上发表150多篇学术论文，出版编著了40多本书。斯发基斯可信自主系统研究院斯发基斯可信自主系统研究院(RITAS)于2019年11月1日由深圳市政府授牌成立。研究院由图灵奖获得者、南科大计算机系杰出兼职教授Joseph Sifakis教授担任院长，计算机系主任姚新教授担任执行院长，计算机系唐珂教授担任副院长。研究团队实力雄厚，拥有双聘 PI 29人，其中院士 2 人、国家级专家 8 人、 IEEE Fellow 4 人，研究序列教师等科研工作人员约40人。研究院面向人机共融这一技术与社会发展的大趋势，围绕各种系统对“可信”的迫切共性需求，开展基础理论研究与关键技术研发，研究领域覆盖计算智能、可信软件、信息安全、自动驾驶、智慧城市和智慧医疗等重点前沿方向。同时，研究院还以培养集聚创新人才、开展国际合作交流、促进科技成果转化为使命，努力建成世界级的可信自主系统研究院，以国际领先的前沿技术、人才队伍助力深圳市乃至大湾区智能产业的发展。

2023 年 7 月 26 日，由国家工业信息安全发展研究中心协办，国防科技大学和中国科学技术大学联合承办的第十六届全国大学生信息安全竞赛——创新实践能力赛全国总决赛在安徽合肥顺利落下帷幕，我校计算机系本科生邬一帆、严文谦、朱嘉楠和朱弘同学组成的COMPASS战队代表学校参加比赛，并荣获总决赛一等奖，斯发基斯可信自主系统研究院研究助理李照老师获得优秀指导老师奖。颁奖现场奖杯 严文谦、邬一帆、朱嘉楠（从左到右）在比赛的全过程中，我校COMPASS战队的成员展现出了令人瞩目的团结与协作精神，他们在紧张的竞争中紧密合作，一同迎接来自全国各地顶尖对手的挑战。无论是在攻守交替、零和博弈的激烈竞争中，还是在面对快速变化的局势和技术难题时，他们都相互信任，保持高效的团队沟通和协调。他们迅速达成共识，拥有着出色的团队凝聚力和决策能力，展示了我校在网络空间安全方面所取得的积极成绩。队员获奖感言南科大计算机系注重通识教育，让我们能在多样的赛制中最大化发挥我们通识特长：在众多课程Project设计的锻炼下，为期两周的build环节我们仅用一天就开发完了最终进入排名前十的测绘系统。在决赛解题赛中，我们解出了人工智能安全方向的全部赛题，让我们在决赛第一天赢得了好的开始。学校计算机系和COMPASS课题组大力支持我们参加学科竞赛，为我们提供学习发展的平台，在每周的例会中张锋巍老师会为竞赛队目前的方向给予详尽的指导。大家每周都可以在工学院线下共同训练，学习知识、提升技术的同时也锻炼了沟通协作技巧。这让我们在紧张的攻防赛和渗透赛中仍然能保持高效的沟通与协作，最终取得优异名次。赛事介绍全国大学生信息安全竞赛已连续举办 15 年，是我国规模最大、影响最广、威望最高的网络安全盛事，被列入教育部 A 类学科竞赛行列。本次比赛共计来自全国范围内500余所高校、2494支战队、共8242人报名参与，经过全国线上初赛和全国8个分区赛层层选拔，最后遴选出80支优秀队伍入围全国总决赛。总决赛以线上Build环节开始，考察各战队对互联网上资产与服务的测绘能力，包括资产的全端口扫描、深度交互式测绘以及蜜罐发现等。最终的线下决赛包含解题赛、攻防赛、渗透赛多轮环节，其中解题赛涵盖可信计算、工控安全、人工智能安全、量子安全等，考察参赛选手多方面的综合能力。攻防赛模拟了现实环境中网络攻防战的比赛环境，选手们需要在构造有效漏洞利用的同时修复自己服务器中的漏洞。渗透赛则需要选手在攻下入口靶机后突破隔离步步深入，最终完整控制目标网络。http://www.ciscn.cn/competition/securityCompetition?compet_id=38 http://www.ciscn.cn/announcement/view/315COMPASS CTF 校队介绍COMPASS CTF 是南方科技大学COMPASS实验室的CTF战队，战队在成立短短两年时间内获得多项国家级和省级网络安全比赛奖项，包括全国大学生信息安全竞赛一等奖、广东大学生网络安全攻防大赛特等奖（冠军），“巅峰极客”挑战赛“巅峰人才奖”，春秋杯冠军等。校队也以联队形式与其他知名高校共同积极参与国际赛事，在多个XCTF分站赛和刚刚结束的2023金砖国家CTF初赛中取得良好成绩。校队网站：https://wiki.compass.college/实验室网站：https://compass.sustech.edu.cn/

2023年9月28日，正值“至圣先师”孔子的诞辰日，南方科技大学2023年教师大会暨教师表彰大会在学校润杨体育馆举行，隆重表彰在教书育人等学校各项工作中取得突出成绩的单位及个人。我系唐博助理教授获“优秀教学奖”，程然副教授获评“优秀书院导师”，刘江教授获“优秀博士学位论文指导教师奖”。让我们共同祝贺三位老师！ 唐博助理教授（左三）获“优秀教学奖” 程然副教授获评“优秀书院导师” 刘江教授（上右二）获“优秀博士学位论文指导教师奖”躬耕教坛，强国有我！老师们的辛勤耕耘为我们树立榜样，指明前进的方向。我系教师将继续以实际行动践行“明德求是 日新自强”校训精神，坚持贯彻落实“三三五”方略，为建设世界一流新型研究型大学而不懈奋斗，为粤港澳大湾区高水平人才高地、大湾区国际科技创新中心、深圳综合性国家科学中心、国家高水平科技自立自强伟大事业作出贡献。

2023年9月21日星期四晚7点，计算机科学与工程系于琳恩图书馆110会议厅成功举办计算机系新生见面会暨系主任第一课。活动由我系副主任王琦副教授主持。系主任姚新讲席教授、徐炀副教授、袁博助理教授和学生代表2020级图灵班叶璨铭同学受邀分享，海洋系张传伦讲席教授也参与活动介绍海洋系特色项目。活动在热烈的气氛中圆满结束。系主任第一课首先，计算机系系主任姚新讲席教授向大家讲授“系主任第一课”。姚老师向新生强调计算机系一贯的风格：“硬”，呼吁大家要有“硬实力”，具体包括：分析问题的能力，解决问题的能力，计算思维的能力，工程动手的能力，交流沟通的能力，判别是非的能力，独立思考的能力，管理时间的能力。Don't talk to me, show me the code! 硬实力才是正道。姚老师呼吁大家要有国际化的思维方式、视野和胸怀。最后，姚老师送给大家一句话：用心学，好好玩！接着，新加入我系不久的徐炀副教授以“我为什么学计算机”为引子，向大家分享了自己的求学历程，从清华电子工程到心理学，再到在宾州州立大学博士研究计算语言学到AI的不同求学阶段的心路历程。他向同学们介绍了自己的研究方向：机器与人类语言的边界、智能与意识等等。徐老师谈到，计算机让我们学到的一些抽象的东西变得更具体，同时也是让我们熟悉的具体的东西变得更抽象更多维；计算机可以让我们跳出一切历史的束缚，以一个新的视角看世界。袁博助理教授，以“深度强化学习十年”为主题，以无人驾驶小车为例，从让小车“Learning to drive in a day”开始，向大家介绍了过去十年16篇发表于Nature的深度强化学习论文以及相关研究领域。袁老师还向大家介绍了自己课题组中强化学习在芯片设计中的相关应用，引起同学们广泛的兴趣。计算机系党委书记、系副主任王琦副教授向大家介绍了计算机系的基本情况，包括发展历史、发展愿景、学科方向、成果影响力、教学培养特色等。他特别介绍我系创新实践课程，希望大家能在创新实践中多下功夫，全面提供能力。同时他从计算机系学生的毕业去向，包括国内推免、国外深造、就业创业等，对同学们如何做毕业规划给出了具体中肯的建议。来自2020级图灵班的叶璨铭同学，从学生视角向大家介绍了他对大学学习的认知与理解，并总结了学习的一些经验方法。叶同学提到，大家首先要了解升学规划的赛道信息，包括时间线以及应该做的准备等。接着，叶同学分享了自己的科研竞赛经历，并通过自己的经历向同学们表达了对未来的展望。此外，海洋系讲席教授张传伦老师特别参与本次见面会，向计算机系同学介绍第一届“海洋计算机及应用”菁英班项目：“菁英与破浪”，希望能吸引同学参与本项目，将计算机相关技术融入海洋科学研究，为海洋科技与可持续发展贡献力量。

近日，2023全国大学生计算机系统能力大赛落下帷幕。经过激烈的角逐，我校本科生郑英炜、王炳臻、邬一帆和严文谦组成的参赛队荣获2023全国大学生计算机系统能力大赛编译系统设计赛（华为毕昇杯）（Risc-V赛道）特等奖！指导老师为刘烨庞助理教授。其中郑英炜、王炳臻和邬一帆为大四本科生，严文谦为大三本科生。佳绩的获得来源于他们不懈的坚持与努力、积极的探索与尝试、充分的团结与协作以及导师悉心的指导。祝贺他们！队员代表在大赛颁奖典礼上发表获奖感言：很荣幸我们CMMC队获得了特等奖，这离不开队员们的努力（熬夜爆肝），以及刘烨庞老师的精心指导。然而，我们认为获奖最关键的因素是选对了技术侧重点。首先，我们听从了刘老师的建议，在编译器测试方面投入了大量时间。我们的编译器经受住了来自csmith的上千万次测试的考验，在上千个回归测试中生成出与GCC/LLVM媲美的指令序列。此外，我们编写了多个单元测试，并尝试使用形式化验证工具。这确保了我们的编译器在进行大量激进优化后仍然能够保持正确性，同时也使我们在决赛中能够快速发现并修复编译隐藏样例时出现的问题。其次，我们编写了基于微架构感知的代码生成系统。我们注意到，往届队伍虽然有较为现代的架构设计，但是只重视中端而忽视了后端。我们仔细研究了评测平台CPU的软件优化手册，并在后端专门针对微架构优化指令序列。这包括从前端的分支预测、指令预取、乱序发射、寄存器重命名、指令融合，到后端各指令的延迟与吞吐，再到内存子系统的数据预取、cache、TLB。这些因素都是设计编译器时需要考虑的。可以说，造优化编译器之前得先学会造现代CPU（强烈推荐学习Computer Architecture: A Quantitative Approach）。最令人惊喜的是，在优化生成代码序列的过程中，我们发现了多个在特定微架构上明显快于GCC/LLVM的模式。我们已将相关补丁提交至LLVM上游，部分补丁已被接受。遗憾的是，受比赛规则的限制，我们没有能够进一步探索基于超参数搜索的PGO方法。我们认为这类方法在深度学习编译器（比如AutoTVM）中应用广泛，具有很强的现实意义。希望未来组委会能够考虑将编译分为插桩-训练-最终代码生成三阶段，让选手们进一步探索程序性能的极限。最后，我们感谢组委会成员的辛勤付出，他们保障了比赛的顺利进行，也给了我们展示自身能力的机会。我们期待未来能有更多的同学参加系统能力大赛，也希望更多的同学能积极参与开源系统软件的开发（我们在LLVM/LuaJIT等你来玩）。大赛网站：https://compiler.educg.net

2023年9月15日，南方科技大学计算机科学与工程系2022级图灵班在工学院南楼443B会议室举办了题为“融合·奋进”的主题班会。在0+4录取同学原班组建的基础上，此次班会迎来了本年1+3选拔成功入班的13名同学，至此，2022级图灵班实现了全班“大团圆”。计算机科学与工程系副主任、图灵班执行班主任郝祁副教授、22级年级班主任陶伊达老师、22级全体同学、21级班长樊斯特同学等参加了会议。会议现场2022级图灵班师生合影留念在开场致辞中，郝祁老师首先祝贺22级图灵班顺利组建。他表示，一年来，大家已经适应了南科大的学习和生活，接下来任重道远。他建议从以下几方面做起：第一，要理解并认同图灵班的办学理念，要有长远的目光，要理解科研并能沉着应对科研工作中的难题，不要一味追求GPA；第二，希望图灵班的同学们将来作为南科大和计算机系的一张“名片”，走出校门，在本行业和研究方向享有良好的口碑和知名度；第三，要经常参加体育锻炼，提升身体素质；同时要注重个人的心理健康，要及时与老师和同学们沟通交流。郝祁老师发言陶伊达老师回顾了大家一年前初入图灵班时的情景。她感言大家成长了很多，褪去了青涩，增添了一分成熟与独立。她鼓励大家及时沟通，互相帮助，学好基础知识，稳扎稳打，相信大家在未来一定会收获属于自己的果实。陶伊达老师发言会上，同学们依次进行“趣味自我介绍”。每个人抽签，大家会结合签上的问题诸如“如果你可以跟一年前的自己对话，你会说些什么？”、“大一印象最深刻的一件事？”、“你最喜欢的一门课是什么？”等问题进行自我介绍，现场气氛十分热烈。随后，班会进入班委竞选环节。经过前期个人自主申请、现场演说等环节，新一届班委产生。交流现场竞选现场班委竞选结束后，21级樊斯特学长与同学们共同分享了大学期间的学习感悟。他首先介绍了图灵班大二学年专业课的内容、学习技巧和相关资源；同时根据个人经验，简述了图灵班研学和活动、生活之间的平衡，并提出了可供参考的大二、大三规划。他鼓励大家能在专业课学习与科研中再接再厉，高效进步，做好未来规划，同时提升英语等必要能力，积极调整心态，丰富自己的大学生活。樊斯特学长作经验分享在互动环节，大家就学术交流等问题进行了探讨。会议最后，郝祁老师作总结发言。他指出，归属感在班级建设中非常重要，大家要积极与同学们、往届学长学姐们交流，不要脱离班集体，更不要被边缘化。图灵班的同学们都很优秀，多才多艺，要勇敢、自信地展现自己。他再次强调了体育锻炼的重要性，鼓励大家找到适合自己的锻炼方式，用过硬的专业知识和能力、良好的心理素质与身体素质迎接未来学习和生活的机遇与挑战。