当前位置:首页  热点新闻
热点新闻

21

2025-11

工作动态 | 我校举办中介逻辑发表四十周年纪念会暨中国逻辑学会非经典逻辑与计算专委会常委会

11月16日,我校成功举办2025年中介逻辑发表四十周年纪念会暨中国逻辑学会非经典逻辑与计算专委会常委会。本次会议由中国逻辑学会和南京航空航天大学主办。中国逻辑学会会长杜国平,副会长徐扬,非经典逻辑与计算专委会主任杨义川,人工智能逻辑专委会主任陈仪香,南开大学数学学院院长丁龙云,我校副校长徐正扬等出席本次会议。1985年,我校计算机学院朱梧槚教授与合作者肖奚安教授发表《中介逻辑演算系统》,标志着中国学者原创的非经典逻辑体系正式诞生,为中介逻辑领域的发展奠定了坚实基础,被国际逻辑学界评价其为“从哲学思想到数学形式化的开创性突破”。在中介逻辑发表四十周年之际,中国逻辑学会和我校共同主办此次纪念活动。开幕式由非经典逻辑与计算专委会副主任周红军主持。徐正扬致开幕词,他代表南航向莅临本次学术盛会的各位领导、专家学者致以热烈欢迎。他表示,朱梧槚教授是南航计算机科学研究所创始人,他开创的中介逻辑体系四十年来不断发展完善、影响深远。南航始终高度重视基础学科建设与交叉学科发展,逻辑学作为思维科学的核心,为学校航空航天、计算机、人工智能等优势学科的创新发展提供了重要的逻辑支撑。希望以此次会议为契机,深入探

13

2025-11

工作动态 | 2025级计算机科学与技术(拔尖创新班)召开班主任团队见面会

11月13日,2025级计算机科学与技术(拔尖创新班)班会暨班主任团队见面会在天目湖校区举行,班会围绕团队式班主任制、本博一体化培养机制、学业发展规划等开展交流讨论。学院院长、拔尖创新班班主任黄圣君,副院长李鑫,班主任团队成员以及2025级计算机科学与技术(拔尖创新班)全体学生参与此次活动。黄圣君向同学们介绍了团队式班主任制的基本情况,逐一介绍了班主任团队成员的学术背景与研究专长。黄圣君着重强调了班干部的引领作用,他鼓励班委主动作为、凝聚班级力量,营造互助共进的学习氛围,为班级建设与个人发展筑牢基础。李鑫向同学们介绍了拔尖创新班本博一体化培养机制的总体情况。计算机科学与技术(拔尖创新班)是全校首批5个拔尖创新班之一,李鑫勉励同学们把握好这一拔尖创新人才培养改革的机遇,认真学好课堂知识,在创新实践中不断突破自我。在互动交流环节,同学们依次进行自我介绍,大家围绕课程学习、科创项目、学科竞赛等问题积极提问,班主任团队结合自身经验逐一给出针对性建议,他们鼓励同学们放下心理负担,脚踏实地,稳步提升自身专业能力。此次班主任团队见面会的召开,构筑了2025级拔尖创新班新生与班主任团队间的沟通桥梁,使

11

2025-11

工作动态 | CCF分布式计算与系统专委走进南京航空航天大学

11月7日下午,中国计算机学会“CCF分布式计算与系统专委走进高校活动”在南京航空航天大学将军路校区1号楼527会议室举行。本次活动主题为“算力赋能、空天无限”,由计算机学院承办。活动邀请到业界权威专家担任讲者,包括分布式计算与系统专委主任、中山大学郭得科教授,专委副主任、CCF理事、南京大学叶保留教授,专委副主任、上海交通大学高晓沨教授,专委秘书长、中国地质大学(武汉)曾德泽教授等。南京航空航天大学计算机学院院长黄圣君、副院长赵彦超,以及学院80余名教师、研究生共同参与活动,活动由学院许建秋老师主持。首先,黄圣君致欢迎辞,对各位专家学者的莅临表示热烈欢迎,期待与各位嘉宾围绕算力网领域前沿技术开展深度交流探讨,进一步拓展多方合作空间与发展契机。随后,郭得科教授代分布式计算与专委致辞,他指出,算力网作为分布式计算的新形态,是夯实数字经济发展底座的关键抓手,本次活动将聚焦算力网技术创新与产业应用,为师生带来前沿学术视野。报告环节中,专家们围绕算力技术的不同方向展开深度分享,内容兼具创新性与实践性,覆盖从技术理论到产业应用的全链条。中山大学郭得科教授以《网内计算方法和实践》为题,指出网内计算

11

2025-11

工作动态 | 学院成功举办“石榴微讲堂”第三期:聚焦职业生涯决策能力提升

为帮助学院管理队伍更好地规划个人职业发展路径,提升生涯决策的科学性与系统性,11月7日下午,学院组织开展“石榴微讲堂”第三期活动。本次活动以“职业生涯发展与规划——认识生涯决策”为主题,由学院2022级本科生辅导员云涛担任主讲,学院机关全体人员参与学习。云涛从认知信息加工理论入手,系统梳理了职业生涯决策的思维框架与方法体系。他首先介绍了认知信息加工金字塔模型的三个层次,包括知识领域、决策技能领域与执行管理领域,并重点围绕CASVE循环(沟通-分析-综合-评估-执行)展开讲解,逐步阐释如何通过明确问题、搜集信息、形成选项、评估选择并制定行动计划,实现更有效的生涯决策。在元认知部分,云涛结合典型案例,深入剖析了影响决策的常见非理性信念,如“必须完美”“害怕失败”等心理陷阱,并介绍了通过自我对话、自我觉察等方式进行信念调适的具体方法。最后,他为教职工提供了“决策平衡单”和“生命平衡轮”两种实用工具,帮助大家在多重目标中厘清优先级,实现更具整合性的生涯规划。在交流环节,与会人员积极提问,就如何平衡职业发展与日常工作、如何处理决策过程中的不确定性等问题展开讨论,云涛结合理论工具与实际场景一一作出

10

2025-11

工作动态 | 我校成功举办第50届 ICPC国际大学生程序设计竞赛亚洲区域赛(南京)

11月8日至9日,“华为杯”第50届ICPC国际大学生程序设计竞赛亚洲区域赛(南京)在南京航空航天大学将军路校区盛大举行。作为全球计算机领域顶级赛事,本次赛事吸引了191所学校的335支正式队及24支特邀队伍,千余名编程高手同场竞技,在算法与代码的世界里展开激烈角逐。校长助理潘时龙,江苏省工业和信息化厅软件处处长王小飞、副处长陈昆,江苏省青少年科技中心主任李莹,华为、非凸科技等企业嘉宾代表,学校教务处、学生处、校团委、信息化处、计算机学院等部门领导出席竞赛相关活动。潘时龙代表学校向参赛队伍、领导嘉宾致以热烈欢迎。他强调,软件是信息技术核心基础与关键支撑,是引领和推动经济社会高质量发展的重要驱动,加强软件创新人才培养对培育新质生产力、实现科技自立自强意义重大,而程序设计是软件研发的基础。ICPC系列赛事是发现、培养顶尖软件人才的重要平台,能充分展现大学生创新协作与问题解决能力,希望以赛事为契机深化校际交流与校企合作,为计算机及软件产业高质量发展贡献力量。经过第一天热身赛的适应,第二天比赛正式拉开序幕。赛场内,氛围紧张热烈,参赛选手们专注投入,在代码编写与算法优化中高效协作,展现出扎实的专

05

2025-11

工作动态 | 2025年CSP-J/S 非专业级软件能力认证第二轮(江苏地区)在我校成功举办

11月1日,2025年CSP-J/S 非专业级软件能力认证第二轮(江苏地区)在我校成功举办。本次认证由江苏省青少年科技中心主办,南京航空航天大学计算机科学与技术学院/软件学院承办,共有来自江苏省内的1400余名中学生参加。计算机科学与技术学院/软件学院对此次认证考试工作高度重视。学院严格依据考试要求,精心落实考场布置、周密安排监考人员,并全力做好技术保障等各项工作,为全体考生营造了规范有序、公平公正的考试环境。认证期间,江苏省青少年科技中心主任李莹、江苏省青少年信息学奥林匹克竞赛委员会秘书长张婧颖,在学院相关工作人员的陪同下,深入考场,仔细检查考场状况,并对考务工作进行了悉心指导。据悉,CSP是由中国计算机学会(CCF)于2019年发起的全国性算法与编程能力评价活动,分为入门级(CSP-J)和提高级(CSP-S),采用分省授权组织模式。该活动旨在激发青少年对软件技术的浓厚兴趣,着重培养他们的编程思维与实践能力。承办此次认证考试,不仅能推动大学与中学计算机教育的有效衔接,更能精准挖掘中学生在计算机领域的天赋与潜力,为青少年搭建了能力成长的专业平台,助力数字人才梯队建设,也为软件产业、智能

04

2025-11

工作动态 | 学院举办“大事小情身边事,法理情理护你行”主题月讲评

10月30日,“大事小情身边事,法理情理护你行”主题月讲评在天目湖校区牧星楼T2110报告厅顺利举行,计算机学院党委副书记夏冰、本科生辅导员杨耀勇、全体2024级本科生参与。首先,杨耀勇结合近期发生的校庆、评优评奖季等“热点大事”与同学们展开交流,通过互动问答等方式,鼓励同学们传承校风校训精神,抒发爱校荣校情怀,扎实打牢专业基础,锚定生涯目标,全面提升自我。接着,他围绕预防流感、防范诈骗等话题送上“暖心提醒”,叮嘱同学们做好健康防护,以良好的身体状态投入学习生活,着重强调“不轻信、不透露、不转账、多核实”的防骗原则,呼吁同学们时刻保持警惕心。讲评第二环节,由南航法律援助中心吕子琛带来“青春不‘踩线’,技术不‘越界’”主题普法微课堂。吕子琛结合校园典型案例,重点分享了“违法偷拍”“帮信罪”“违法代码”“网络不当言论”等七类常见法律风险,解读相关法律法规,为同学们未来的技术探索划清了法律“红线”,指明了合规“航线”。最后,夏冰总结讲话,她表示本次月讲评内容扎实且富有温度,既有对同学们的暖心关怀,也有遵纪守法的硬核要求。希望同学们着眼长远立志,增强法律意识,强健青春体魄。保护好自己、约束好自