11
2023-12
1111MicrosoftInternetExplorer402DocumentNotSpecified7.8 磅Normal012月6日中午，计算机学院程序设计课程组开展“乐享”专项课程建设活动。活动由课程组组长郑洪源主持，学院近30名青年教师参与此次活动。 1111MicrosoftInternetExplorer402DocumentNotSpecified7.8 磅Normal0皮德常教授作了题为“程序设计案例式教学的一点探索”的报告。针对目前学生中存在的知识学习能力与工程实践能力不均衡的问题，他结合授课经验及学生特点，提出了将工程科研项目轻量化处理后用于教学的方法，并分析了创新方法的实施成效。“乐享”专项活动由教师发展与教学评估中心联合教务处推出，旨在为教师搭建教育教学交流互助平台，营造“会教、善教、乐教”的优良教学质量文化。本次“乐享”活动为老师们搭建了深入学习和交流的平台。学院将持续依托乐享平台，继续深入推动专业和课程建设，促进提升人才培养质量。
12月10日，由江苏省计算机学会主办、南航计算机学院承办的第七届江苏省计算机类专业建设与课程改革研讨会顺利举行。全省150余名计算机类专业教师代表齐聚南航，共同研讨计算机类专业建设与课程改革问题。大会邀请了北京航空航天大学高小鹏教授、吉林大学黄岚教授、陆军工程大学陈卫卫教授作主题报告。我校教师发展和教学评估中心主任朱建军、研究生院常务副院长陈兵、计算机学院副院长黄圣君以及校本培训教师代表参加了本次活动，会议由计算机学院孙涵主持。朱建军对与会专家代表的到来表示热烈欢迎，他表示学校高度重视工程教育专业认证工作，提出了“应认证尽认证”的基本工作思路。他勉励学校计算机类专业继续先试先行，为高质量专业建设提供经验，也希望年轻老师们能够通过本次研讨交流，强化教育教学内涵和质量文化建设，为进一步完善学校质量保障体系贡献力量。江苏省计算机学会副理事长、研究生院常务副院长陈兵祝贺第七届江苏省计算机类专业建设与课程改革研讨会顺利召开，希望计算机教育专委会建好、用好这一计算机教育交流的平台，与大家积极探讨新形势下教育教学改革的有效途径，深入推进计算机专业建设、切实提升人才培养质量。江苏省计算机学会计算机教育
09
为深化科教融合，推进大中小学信息学拔尖创新人才一体化培养，2023月12日7日，南京航空航天大学计算机学院党副书记王宁来到南京郑和外国语学校，与南京郑和外国语学校董事长李海岩、校长庞中银共同为信息学拔尖创新人才培养基地揭牌。 此前，学院已经与南京郑和外国语学校共同开展信息学拔尖创新人才早期培养工作，并取得了一定成效，包括面向学校全体初一学生开设C++编程语言基础课，定制了适合初中生理解的编程课程体系，在让初中学生动手体验编程乐趣的同时，激发信息学志趣；假期开展一对一的云端青少年编程辅导，带领学生循序渐进，逐步进阶。今年，学院依托学校新成立的NOIP信息学社团，对标CCF非专业级别软件能力认证，开设计算机编程知识与逻辑思维训练特色课程，全方位、多角度为学生提供创新思想指引、学术指导和能力支持。学院一直致力于信息学拔尖创新人才的早期培养。此次挂牌是学院与南京郑和外国语学校在探索贯通式拔尖创新人才培养道路上的进一步合作与尝试，相信能为学生的特长发展创造更加良好的条件。未来，学院将充分发挥学科和专业优势，加强对南京郑和外国语学校创新教育、科技教育等方面的指导和支持，共同做好信息学拔
2023年12月2日-3日，2023中国计算机教育大会（CECC2023）在厦门召开，并在大会上隆重举行了2022-2023年度“高校计算机专业优秀教师奖励计划”颁奖典礼，我院李鑫老师入选该计划。高校计算机专业优秀教师奖励计划是在教育部、国家自然科学基金委指导下，由图灵奖获得者、中国政府友谊奖获得者、中国科学院外籍院士John Hopcroft与中国工程院院士、中国计算机学会原理事长高文共同发起的，由部分具有重要社会影响力的高科技企业共同向中国教师发展基金会捐赠设立的民间公益性奖励计划，旨在引导高校教师潜心投入本科教学，改革和探索教学方法，促进高校教师更加重视本科课堂教学，推动中国计算机专业本科教学质量的整体提升。李鑫，男，博士，副教授、副院长；分别于2008年和2014年在南京大学计算机科学与技术系学习获理学学士学位和工学博士学位，于2012年9月至2013年9月在美国天普大学交流学习。研究兴趣包括云计算、边缘计算、计算机网络、数据管理和分析等，主持国家自然科学基金、军委科技委研究项目等科研项目，在国际重要期刊及学术会议发表高质量研究论文四十余篇；研究成果获江苏省科学技术奖、国防科技
12月9日，计算机科学与技术学院/人工智能学院/软件学院在天目湖校区西操场举行“薪火相传赓血脉弦歌不辍爱国情”纪念“一二·九”运动主题升旗仪式。全体2023级本科生，辅导员韩桂馨参加本次活动，升旗仪式由学生代表刘祥主持。在慷慨激昂的旋律中，国旗班成员护送五星红旗入场。伴随着《义勇军进行曲》，五星红旗冉冉升起，全体成员肃立，行注目礼，齐唱国歌，向国旗致以崇高的敬意。学生代表谷高源在国旗下发表了《弘扬爱国精神争做有为青年》的主题演讲，他向同学们介绍了“一二·九”运动的背景与运动中青年学生作出的卓越贡献，引用古今仁人志士的爱国诗句鼓励大家弘扬爱国精神，树立责任意识，争做新时代好青年，让青春在实现中华民族伟大复兴的中国梦中绽放异彩。青春逢盛世，奋进正当时，学生代表李凌轩、黄智辉进行了《风华正茂扬风帆筑我华夏新诗篇》主题诗朗诵，以饱含深情的语句鼓励同学们用实际行动践行爱国报国情怀，自立自强，表达了南航学子锐意进取、自强不息的坚定志向。此次升旗仪式激发了同学们继承和发扬党的优良传统、深入践行社会主义核心价值观的热情和动力，引领同学们在未来的学习、生活中树立责任意识、勇担时代重任。未来，学院将继续开
近期，我院朱朝晖教授团队在人工智能领域国际顶级期刊《Artificial Intelligence》（AIJ）发表了题为“A general approach to extension-based semantics in abstract argumentation”的研究论文，提出抽象论辩框架（AAF）扩展上的归约交算子，进一步发展了Grossi和Modgil提出的分级语义。我院2018级博士生谭立兴为论文唯一第一作者，朱朝晖教授为论文唯一通讯作者，这也是我院首次以第一/通讯单位身份在该期刊发表论文。该文主要工作包括如下两方面：基于数理逻辑模型论的模超滤子构造思想，提出并较为系统地研究了抽象论辩框架（AAF）扩展上的归约交算子。在对象和元理论层面获得的研究结果表明，该算子下具有封闭性的扩展语义较为普遍，它是一个具有普适性的扩展构造方法，是处理语义泛可定义性、可实现性、等价 AAF 特征以及等价约简等相关理论问题的有用数学工具。将著名的Dung基础引理推广到AAF分级语义，为分级扩展的不动点构造提供了关键的数学基础。在此基础上，构建了允许集与完全扩展之间的伽罗瓦伴随，进而较系统地建立
08
为学习落实习近平总书记关于调查研究的重要论述精神，深入美丽乡村，实地调研溧阳乡村建设情况、领略溧阳风土人情与秀美风光的同时，深刻领悟以新产业、新形势开展乡村振兴的成效典范，12月6日，计算机学院党委与溧阳姜下村党委开展“同心共学强思想 同行共建促创新”党建共建活动，学院党委副书记王宁，辅导员以及10余名学生代表参与此次活动。活动伊始，老师、同学们在姜下村党委大厅认真听取了姜下村党委简介报告及该村近年产业振兴的相关情况，深入感受姜下村党委以党建带动乡村振兴、因地制宜坚持学思用贯通、知信行统一的成效典范。姜下村作为产业强村，依托地理位置及生态优势与特色自然资源，深入培植农业产业，以文化振兴、生态振兴、组织振兴为基础，创造了一站式产品产业链，让多元化产业发展铺就了乡村振兴“快车道”。接着，在讲解员的带领下，老师、同学们深入参观姜下村街道、姜下村村史馆等地，多角度地见证了丰富多彩和高品质的姜下村生活，感受姜下村人文自然与溧阳的特色风土人情。此外，讲解员结合“树荫下的党课”向大家生动讲述了姜下村在党建引领下借助乡村振兴的东风建设特色乡村的奋斗历程，带领师生们一同回顾了新四军铁军精神，号召广大师生
为持续巩固拓展主题教育成果，扎实推进“清廉学院”建设走深走实，切实教育广大干部教师廉洁从政、廉洁从教，12月7日，计算机学院开展“石榴赋能”干部教师能力培训暨党风廉政专题辅导。校纪委副书记张海艮出席会议并作专题廉政报告。学院领导班子成员、党委委员、院长助理、科级干部，各系正副主任、教工党支部书记、纪检委员等近40名干部教师参加本次培训。会议由学院党委书记刘健荣主持。刘健荣首先向大家报告了今年学院基于系所改革和教师党支部换届，围绕“‘四强四建’扣好基层干部廉洁履职‘第一粒扣子’”开展“清廉单元”建设的情况。随后，张海艮以《明正道、守底线，努力在职业发展中行稳致远》为题，围绕“发展态势：反腐败斗争永远在路上”“治本之策：全面加强纪律建设”“净土不净：高校职务性违纪违法时有发生”“风险辨析：违纪违法问题缘何而起”“从我做起：有效防范职务风险”五个方面作廉政报告，他带领全体人员学习了习近平总书记关于全面从严治党、党风廉政建设的重要论述精神，深入剖析了高校干部教师违法违纪行为典型案例，用身边的“活教材”警示教师要行稳致远必须坚持思想铸魂、潜心教书问道、坚守红线底线。在交流分享环节，学院党委纪检委
06
为助力2023级本科新生顺利完成角色转变，快速适应大学学习、生活节奏，提升适应能力，12月5日晚，计算机科学与技术学院/人工智能学院/软件学院在天目湖校区巡天楼报告厅召开了“新生适应力通关宝典——用CTRL+的方式打开大学生活”主题公开月讲评，本科生辅导员王叶飞担任主讲人，2023级本科生参加。王叶飞以“什么是适应力？为什么要提升适应力？”为切入，引导学生主动思考、总结开学至今大学生活的适应情况，并从学业学习、人际交往、生活环境与心理状态四个角度，分析各类适应性问题出现的原因，为新生提供相应的适应力提升策略，助力学生实现由高中生活至大学生活的“丝滑切换”。本次月讲评还邀请到2022级本科生严子翼、陆齐嘉和刘佳伟分享自身在大一学年的“适应故事”。严子翼围绕学业适应话题，结合个人经历分享如何动态调整学习方法，实现学习生活中的“小目标”；陆齐嘉重点讲述了自己在科创竞赛等方面的丰富经验，鼓励同学们积极参与创新实践，不断实现自我突破；刘佳伟鼓励同学们理性看待学习压力，通过心理调适正确应对学习生活中的低谷，扎实走好大学生活的每一步。接着，同学们现场撰写大一学年适应目标，主动思考适应力提升计划，王叶
12月4日，中国航天科工集团四院北京航天晨信科技有限责任公司（以下简称航天晨信）总监赵亚丽带队来我校计算机学院调研交流。学院副院长黄圣君、院长助理赵彦超以及相关教师代表参加了此次交流，会议由黄圣君主持。会上，黄圣君首先代表学院对航天晨信一行的来访表示热烈的欢迎。他表示双方可将高校的前沿技术优势与企业的实际应用需求结合，在国防项目申报、工程英才培养等领域展开全面合作。赵亚丽指出双方之前就有过紧密的合作，希望以此次交流为契机，进一步增加双方了解，充分发挥双方在人才资源、技术积累等方面的优势，她表示对后续合作充满期待。在双方交流环节，赵彦超从学院概况、师资队伍及科学研究、人才培养及国际化等方面对学院情况进行了介绍。航天晨信研究员赵思聪对公司的发展历程、人才构成、业务组成、以及核心竞争力进行了详细介绍。与会老师详细介绍了各自的研究方向，分享了南航在鲁棒机器学习、主动学习、自然语言处理、大模型等相关领域的研究进展与技术优势，双方就智能计算领域达成初步合作意向。赵亚丽充分肯定了南航在人工智能领域的研究成果，并邀请我校至航天晨信进行回访，深化联系和对接，推进合作进程。黄圣君希望双方以国家战略需求为导
05
2023年11月27日至29日，第九届可靠软件工程：理论、工具和应用国际会议(Symposium on Dependable Software Engineering Theories, Tools and Applications, SETTA 2023）在南京顺利召开。本届会议由中国计算机学会形式化方法专委会主办，南京航空航天大学承办，工信部“高安全系统的软件开发与验证技术”重点实验室和江苏省软件新技术与产业化协同创新中心等协办，我校副校长黄志球教授担任大会主席。会议开幕式于27日上午举行，黄志球副校长致欢迎词辞并宣布大会开幕。本次大会包括三个主旨报告，六大主题。主旨报告由阿根廷里奥夸尔托国立大学的Nazareno Aguirre教授、新加坡国立大学的Jin Song Dong教授，以及华东师范大学的蒲戈光教授作为主讲人，内容涵盖了程序规约断言、概率模型检验、工业软件的形式化设计与验证等领域热点和难点，会议还邀请了国内外软件工程领域著名专家学者共同探讨领域前沿进展，包括西南大学刘志明教授、中科院软件所詹乃军研究员、新加坡管理大学孙军教授、南京大学卜磊教授、中科院软件所吴志林研究员等
01
为进一步贯彻落实学校有关保密工作的规定，防范和及时发现、堵塞泄密漏洞，切实提高学院师生保密意识，坚决落实保密工作责任，11月28日，在学院党委书记刘健荣和学院副院长黄圣君的带领下，计算机学院在全院范围内开展保密检查工作。计算机学院根据保密工作规章制度，对相关人员办公场所、涉密计算机和非涉密计算机逐一检查，包括非涉密计算机中文件存储和处理情况，涉密计算机是否违规接入未授权设备，涉密科研项目和涉密载体闭环管理情况等等，切实做到不留死角、不埋隐患。刘健荣查阅了涉密人员载体交接记录本，对涉密人员在处理涉密科研项目中遇到的问题进行了调研。黄圣君针对涉密项目研究过程中的薄弱环节和风险隐患对相关人员进行了提醒督促。在检查过程中，刘健荣强调学院师生要充分认识做好保密工作的重要性和复杂性，严格落实保密工作要求，绷紧保密之弦，将保密制度内化于心、外化于行。 通过此次保密检查工作，进一步提升了学院教师在教学、科研、学术交流活动中的自觉保密意识和防范失泄密意识。保密检查是筑牢保密工作防火墙的重要举措，学院将以此次保密检查为契机，进一步改进检查方式，加大检查力度，确保保密检查不缺位、无死角，切实筑牢保密工作
28
2023-11
为帮助低年级学生更好地了解学科知识和专业前沿，增强学习兴趣和专业认同感，11月27日下午，计算机科学与技术学院/人工智能学院/软件学院第二十九期“石榴教授月导航”在天目湖校区T2108报告厅精彩开讲，学院教授、博士生导师朱琨与100余名本科生共同学习讨论网络化无人系统的演变与发展。首先，朱琨向同学们介绍了网络化无人系统的基础概念与应用领域，他介绍道：“在当今世界，以无人机、自动驾驶无人汽车为代表的自主无人系统发展迅速，网络化无人系统在物流、交通、农业、军事等多个领域都具有广阔的应用前景。”随后，他结合团队在网络化无人系统方面的研究工作，向大家详细说明了无人系统集群化、网络化、协同化发展的演进趋势及相关关键技术。最后，朱琨为同学们推荐了一些专业相关书籍，鼓励同学们在大学低年级阶段夯实专业基础，拓宽知识领域，培养勤于探索、勇于实践的优秀品质，同学们纷纷表示受益匪浅。此次活动进一步激发了同学们的学习热情，让同学们对网络化无人系统有了更加深入的了解与认知。未来，学院也将持续借助“石榴教授月导航”平台，把前沿研究和教育教学相结合，帮助学生了解、探索专业细分领域，更好的培育创新型人才，为国家技术创
27
秋风送爽，阳光和煦。为进一步丰富学院文体生活，增强广大教职工健康意识，激发干部教师凝聚力和战斗力，近日，计算机学院开展了“踔厉奋发新征程，凝心聚力‘毅’起向未来”教职工徒步活动，本次活动共吸引了近40名教职工参加。当天下午，参加徒步的教职工在起点合影留念后，开始向既定的徒步路线进发。秋末冬初、空气清新，沿途既有深秋的斑斓色彩，又有浅冬的诗意浪漫，一路共设置了3个打卡地点，学院党委书记刘健荣等院领导带队，老师们热情参与，个个精神抖擞、情绪饱满，浩浩荡荡的队伍为秋日增添了一道亮丽的风景。一路上，大家一边欣赏沿途的风光，感受大自然的美好，一边交流工作、畅谈生活，欢声笑语不断。本次徒步活动是学院“教职工之家”建设的重要环节，也是学院“石榴赋能”干部教师能力培训的拓展活动，不仅加强了干部教师之间的交流沟通，更激发了大家积极参加体育锻炼的热情。大家纷纷表示，要以更加饱满的精神状态、更加积极的奋斗姿态和更加强健的身体素质投入于工作中，为建设特色鲜明的世界一流大学和高水平研究型学院贡献更大力量。
书记信箱
